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...

VerbNet: seem-109|be, bump-18.4|run, bump-18.4|run, exist-47.1|exist, bump-18.4|run, bump-18.4|run, seem-109|remain, bump-18.4|run,


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 782-783
s__partition__3(s__Entity,s__Physical,s__Abstract)

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

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


s__range(s__AssignmentFn__m,s__Entity)

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

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

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

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

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

s__instance(s__Entity,s__SetOrClass)

s__subclass(s__Abstract,s__Entity)

Merge.kif 1573-1573 Abstract is a subclass of entity
s__instance(s__Entity,s__SetOrClass)

s__subclass(s__Physical,s__Entity)

s__instance(s__Physical,s__SetOrClass)

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

chinese_format.kif 813-813
s__termFormat(s__EnglishLanguage,s__Entity,'"entity"')

english_format.kif 833-833

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


s__domain(s__AssignmentFn__m,n__2,s__Entity)

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

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

Mid-level-ontology.kif 25493-25493 The number 2 argument of abbreviation is an instance of entity
s__domain(s__accessibleFromMenu__m,n__1,s__Entity)

ComputerInput.kif 881-881 The number 1 argument of accessibleFromMenu is an instance of entity
s__domain(s__accessibleFromMenuItem__m,n__1,s__Entity)

ComputerInput.kif 1165-1165 The number 1 argument of accessibleFromMenuItem is an instance of entity
s__domain(s__acronym__m,n__2,s__Entity)

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

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

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

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

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

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

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

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

Mid-level-ontology.kif 25476-25476 The number 2 argument of conventional long name is an instance of entity
s__domain(s__conventionalShortName__m,n__2,s__Entity)

Mid-level-ontology.kif 25488-25488 The number 2 argument of conventional short name is an instance of entity
s__domain(s__creator__m,n__2,s__Entity)

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

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

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

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

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

Merge.kif 5084-5084 The number 1 argument of element is an instance of entity
s__domain(s__equal__m,n__1,s__Entity)

Merge.kif 253-253 The number 1 argument of equal is an instance of entity
s__domain(s__equal__m,n__2,s__Entity)

Merge.kif 254-254 The number 2 argument of equal is an instance of entity
s__domain(s__externalImage__m,n__1,s__Entity)

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

Merge.kif 380-380 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))
     &
     (s__subclass(V__CLASS,s__Entity) =>
       s__instance(V__CLASS,s__Class))
     )
   )

Merge.kif 793-795 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__instance(V__BU,s__Organization) &
       s__instance(V__BU,s__CognitiveAgent) &
       s__instance(V__ORG,s__Business))
     =>
     s__businessUnit(V__BU,V__ORG)
   =>
   ( ? [V__INTEREST] :
     ((s__instance(V__INTEREST,s__Entity) &
         s__inScopeOfInterest(V__BU,V__INTEREST))))
)
)

UXExperimentalTerms.kif 2777-2782
( ! [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 2823-2833

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


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

Merge.kif 790-791 There exists an entity such that the entity 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