Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(entity)Jim_Crow, Moloch, actuality, adversative_conjunction, aftermath, aim, albatross, allocation, allotment, allowance, antecedent, antitype, apology, appearance, articulation, assets, bag, balance, bamboo_curtain, barrier, base, be, beginning, being, beingness, bind, 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, component_part, concentrate, consequence, constituent, contour...

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 841-842
s__partition_3(s__Entity,s__Physical,s__Abstract)

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

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


s__range(s__AssignmentFn__m,s__Entity)

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

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

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

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

Geography.kif 2744-2744 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 1703-1703 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 856-856 Physical is a subclass of entity
s__termFormat(s__ChineseLanguage,s__Entity,'实体')

chinese_format.kif 813-813 "实体" is the printable form of entity in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Entity,'entity')

english_format.kif 500-500 "entity" is the printable form of entity in english language
s__termFormat(s__FrenchLanguage,s__Entity,'entit�')

french_format.kif 489-489 "entit�" is the printable form of entity in french language
s__termFormat(s__Hindi,s__Entity,'astitva')

terms-hindi.txt 23-23 "astitva" is the printable form of entity in Hindi
s__termFormat(s__ItalianLanguage,s__Entity,'Entit�')

terms-it.txt 23-23 "Entit�" is the printable form of entity in italian language
s__termFormat(s__PortugueseLanguage,s__Entity,'Entidade')

portuguese_format.kif 441-441 "Entidade" is the printable form of entity in portuguese language
s__termFormat(s__ar__m,s__Entity,'كَائِن')

arabic_format.kif 225-225 "كَائِن" is the printable form of entity in ar
s__termFormat(s__cb__m,s__Entity,'bisag unsa')

terms-cb.txt 26-26 "bisag unsa" is the printable form of entity in cb
s__termFormat(s__cz__m,s__Entity,'entita')

terms-cz.txt 56-56 "entita" is the printable form of entity in cz
s__termFormat(s__tg__m,s__Entity,'kahit ano')

terms-tg.txt 26-26 "kahit ano" is the printable form of entity in tg

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


s__domain(s__AssignmentFn__m,2,s__Entity)

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

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

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

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

ComputerInput.kif 909-909 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 27686-27686 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 18625-18625 The number 1 argument of comment is an instance of entity
s__domain(s__confersNorm__m,1,s__Entity)

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

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

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

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

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

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

Mid-level-ontology.kif 11060-11060 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 4122-4122 The number 1 argument of deprives norm is an instance of entity
s__domain(s__destination__m,2,s__Entity)

Merge.kif 2568-2568 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 5473-5473 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 696-696 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 852-854 ?CLASS is an instance of class if and only if ?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

statement
-------------------------


(? [V__THING] :
   s__instance(V__THING,s__Entity))

Merge.kif 849-850 There exists ?THING such that ?THING is an instance of entity


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners