Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(entity)كَائِن, Entidade, Entit�, Jim_Crow, Moloch, actuality, adversative_conjunction, aftermath, aim, albatross, allocation, allotment, allowance, antecedent, antitype, apology, appearance, articulation, assets, astitva, bag, balance, bamboo_curtain, barrier, base, be, beginning, being, beingness, bind, bisag_unsa, bit, bourn, bourne, brace, brainchild, breed, business, case, case_in_point, circumstances, clew, clue, cogent_evidence, color_bar, color_line, colour_bar, colour_line, complementarity, component...

appearance as argument number 1
-------------------------


s__documentation(s__Entity,s__EnglishLanguage,'The universal class of individuals. This is the root node of the ontology.')

Merge.kif 838-839
s__partition_3(s__Entity,s__Physical,s__Abstract)

Merge.kif 837-837 Entity is exhaustively partitioned into physical and abstract

appearance as argument number 2
-------------------------


s__range(s__AssignmentFn__m,s__Entity)

Merge.kif 805-805 The range of assignment is an instance of entity
s__range(s__FirstFn__m,s__Entity)

Mid-level-ontology.kif 6223-6223 The range of first is an instance of entity
s__range(s__LastFn__m,s__Entity)

Mid-level-ontology.kif 6209-6209 The range of last is an instance of entity
s__range(s__ListOrderFn__m,s__Entity)

Merge.kif 3147-3147 The range of list order is an instance of entity
s__range(s__ShortageFn__m,s__Entity)

Geography.kif 2778-2778 The range of shortage is an instance of entity
s__instance(s__Abstract,s__SetOrClass)

s__subclass(s__Abstract,s__Entity)

s__instance(s__Entity,s__SetOrClass)

Merge.kif 1698-1698 Abstract is a subclass of entity
s__subclass(s__Physical,s__Entity)

s__instance(s__Physical,s__SetOrClass)

s__instance(s__Entity,s__SetOrClass)

Merge.kif 853-853 Physical is a subclass of entity
s__termFormat(s__ChineseLanguage,s__Entity,'实体')

chinese_format.kif 813-813 term format ChineseLanguage, entity and "实体"
s__termFormat(s__ChineseLanguage,s__Entity,'实体')

chinese_format.kif 813-813 term format ChineseLanguage, entity and "实体"
s__termFormat(s__EnglishLanguage,s__Entity,'entity')

english_format.kif 500-500 term format english language, entity and "entity"
s__termFormat(s__FrenchLanguage,s__Entity,'entit�')

french_format.kif 489-489 term format french language, entity and "entit�"
s__termFormat(s__Hindi,s__Entity,'astitva')

terms-hindi.txt 23-23 term format Hindi, entity and "astitva"
s__termFormat(s__ItalianLanguage,s__Entity,'Entit�')

terms-it.txt 23-23 term format italian language, entity and "Entit�"
s__termFormat(s__PortugueseLanguage,s__Entity,'Entidade')

portuguese_format.kif 441-441 term format portuguese language, entity and "Entidade"
s__termFormat(s__ar__m,s__Entity,'كَائِن')

arabic_format.kif 225-225 term format ar, entity and "كَائِن"
s__termFormat(s__cb__m,s__Entity,'bisag unsa')

terms-cb.txt 26-26 term format cb, entity and "bisag unsa"
s__termFormat(s__cz__m,s__Entity,'entita')

terms-cz.txt 56-56 term format cz, entity and "entita"
s__termFormat(s__tg__m,s__Entity,'kahit ano')

terms-tg.txt 26-26 term format tg, entity and "kahit ano"

appearance as argument number 3
-------------------------


s__domain(s__AssignmentFn__m,2,s__Entity)

Merge.kif 804-804 The number 2 argument of assignment is an instance of entity
s__domain(s__ListFn__m,1,s__Entity)

Merge.kif 3100-3100 The number 1 argument of list is an instance of entity
s__domain(s__abbreviation__m,2,s__Entity)

Mid-level-ontology.kif 24688-24688 The number 2 argument of abbreviation is an instance of entity
s__domain(s__accessableFromMenu__m,1,s__Entity)

ComputerInput.kif 746-746 The number 1 argument of accessableFromMenu is an instance of entity
s__domain(s__accessableFromMenuItem__m,1,s__Entity)

ComputerInput.kif 945-945 The number 1 argument of accessableFromMenuItem is an instance of entity
s__domain(s__acronym__m,2,s__Entity)

Media.kif 3003-3003 The number 2 argument of acronym is an instance of entity
s__domain(s__buys__m,3,s__Entity)

Mid-level-ontology.kif 27327-27327 The number 3 argument of buys is an instance of entity
s__domain(s__codeMapping__m,3,s__Entity)

Media.kif 2261-2261 The number 3 argument of codeMapping is an instance of entity
s__domain(s__comment__m,1,s__Entity)

Merge.kif 18616-18616 The number 1 argument of comment is an instance of entity
s__domain(s__confersNorm__m,1,s__Entity)

Merge.kif 4100-4100 The number 1 argument of confers norm is an instance of entity
s__domain(s__confersObligation__m,2,s__Entity)

Merge.kif 17709-17709 The number 2 argument of confers obligation is an instance of entity
s__domain(s__confersRight__m,2,s__Entity)

Merge.kif 17683-17683 The number 2 argument of confers right is an instance of entity
s__domain(s__contestEntry__m,1,s__Entity)

Music.kif 1092-1092 The number 1 argument of contest entry is an instance of entity
s__domain(s__conventionalLongName__m,2,s__Entity)

Mid-level-ontology.kif 24671-24671 The number 2 argument of official name is an instance of entity
s__domain(s__conventionalShortName__m,2,s__Entity)

Mid-level-ontology.kif 24683-24683 The number 2 argument of acronym is an instance of entity
s__domain(s__creator__m,2,s__Entity)

Mid-level-ontology.kif 10916-10916 The number 2 argument of creator is an instance of entity
s__domain(s__crossFunctionalTeamFocus__m,1,s__Entity)

UXExperimentalTerms.kif 2863-2863 The number 1 argument of BinaryPredicate is an instance of entity
s__domain(s__deprivesNorm__m,1,s__Entity)

Merge.kif 4117-4117 The number 1 argument of deprives norm is an instance of entity
s__domain(s__destination__m,2,s__Entity)

Merge.kif 2563-2563 The number 2 argument of destination is an instance of entity
s__domain(s__documentation__m,1,s__Entity)

Merge.kif 408-408 The number 1 argument of documentation is an instance of entity
s__domain(s__element__m,1,s__Entity)

Merge.kif 5464-5464 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 284-284 The number 1 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 285-285 The number 2 argument of equal is an instance of entity
s__domain(s__externalImage__m,1,s__Entity)

Merge.kif 693-693 The number 1 argument of externalImage is an instance of entity
s__domain(s__format__m,2,s__Entity)

Merge.kif 422-422 The number 2 argument of format is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [V__CLASS] :
   (s__instance(V__CLASS,s__Class) <=>
     s__subclass(V__CLASS,s__Entity))
   )

Merge.kif 849-851 A set or class is an instance of class if and only if the set or class is a subclass of entity
( ! [V__BU,V__ORG] :
   (s__businessUnit(V__BU,V__ORG)
   =>
   (? [V__INTEREST] :
     (s__instance(V__INTEREST,s__Entity) &
       s__inScopeOfInterest(V__BU,V__INTEREST))))
)

UXExperimentalTerms.kif 2780-2785
( ! [V__TEAM] :
   (s__instance(V__TEAM,s__CrossFunctionalTeam) =>
     (? [V__INTEREST] :
       (s__instance(V__INTEREST,s__Entity) &
         (! [V__MEMBER] :
           ((s__instance(V__MEMBER,s__Human) &
               s__member(V__MEMBER,V__TEAM))
           =>
           s__inScopeOfInterest(V__MEMBER,V__INTEREST))))))
)

UXExperimentalTerms.kif 2826-2836