Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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__partition(s__Entity,s__Physical,s__Abstract)

 Merge.kif 808-808 Entity is exhaustively partitioned into physical and abstract
s__documentation(s__Entity, s__EnglishLanguage, "The universal class of individuals_ This is the root node of the ontology_") Merge.kif 809-810 Entity is exhaustively partitioned into physical and abstract

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


s__range(s__AssignmentFn,s__Entity)

 Merge.kif 780-780 The range of assignment is an instance of entity
s__subclass(s__Physical,s__Entity)

 Merge.kif 824-824 Physical is a subclass of entity
s__subclass(s__Abstract,s__Entity)

 Merge.kif 1762-1762 Abstract is a subclass of entity
s__range(s__ListOrderFn,s__Entity)

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

 Merge.kif 3318-3318 The range of last is an instance of entity
s__range(s__FirstFn,s__Entity)

 Merge.kif 3338-3338 The range of first is an instance of entity
s__range(s__ShortageFn,s__Entity)

 Geography.kif 4320-4320 The range of shortage is an instance of entity
s__termFormat(s__EnglishLanguage, s__Entity, "entity") english_format.kif 828-828 The range of shortage is an instance of entity

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


s__domain(s__instance,n__1,s__Entity)

 Merge.kif 81-81 The number 1 argument of instance is an instance of entity
s__domain(s__immediateInstance,n__1,s__Entity)

 Merge.kif 90-90 The number 1 argument of immediate instance is an instance of entity
s__domain(s__documentation,n__1,s__Entity)

 Merge.kif 361-361 The number 1 argument of documentation is an instance of entity
s__domain(s__format,n__2,s__Entity)

 Merge.kif 373-373 The number 2 argument of format is an instance of entity
s__domain(s__termFormat,n__2,s__Entity)

 Merge.kif 380-380 The number 2 argument of term format is an instance of entity
s__domain(s__relatedInternalConcept,n__1,s__Entity)

 Merge.kif 608-608 The number 1 argument of related internal concept is an instance of entity
s__domain(s__relatedInternalConcept,n__2,s__Entity)

 Merge.kif 609-609 The number 2 argument of related internal concept is an instance of entity
s__domain(s__relatedExternalConcept,n__2,s__Entity)

 Merge.kif 619-619 The number 2 argument of related external concept is an instance of entity
s__domain(s__synonymousExternalConcept,n__2,s__Entity)

 Merge.kif 629-629 The number 2 argument of synonymous external concept is an instance of entity
s__domain(s__subsumingExternalConcept,n__2,s__Entity)

 Merge.kif 650-650 The number 2 argument of subsuming external concept is an instance of entity
s__domain(s__subsumedExternalConcept,n__2,s__Entity)

 Merge.kif 656-656 The number 2 argument of subsumed external concept is an instance of entity
s__domain(s__externalImage,n__1,s__Entity)

 Merge.kif 669-669 The number 1 argument of external image is an instance of entity
s__domain(s__greaterThanByQuality,n__1,s__Entity)

 Merge.kif 741-741 The number 1 argument of greater than by quality is an instance of entity
s__domain(s__greaterThanByQuality,n__2,s__Entity)

 Merge.kif 742-742 The number 2 argument of greater than by quality is an instance of entity
s__domain(s__AssignmentFn,n__2,s__Entity)

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

 Merge.kif 1801-1801 The number 1 argument of property is an instance of entity
s__domain(s__involvedInEvent,n__2,s__Entity)

 Merge.kif 2523-2523 The number 2 argument of involved in event is an instance of entity
s__domain(s__destination,n__2,s__Entity)

 Merge.kif 2553-2553 The number 2 argument of destination is an instance of entity
s__domain(s__patient,n__2,s__Entity)

 Merge.kif 2604-2604 The number 2 argument of patient is an instance of entity
s__domain(s__result,n__2,s__Entity)

 Merge.kif 2661-2661 The number 2 argument of result is an instance of entity
s__domain(s__inScopeOfInterest,n__2,s__Entity)

 Merge.kif 2833-2833 The number 2 argument of in scope of interest is an instance of entity
s__domain(s__ListFn,n__1,s__Entity)

 Merge.kif 3044-3044 The number 1 argument of list is an instance of entity
s__domain(s__inList,n__1,s__Entity)

 Merge.kif 3217-3217 The number 1 argument of in list is an instance of entity
s__domain(s__confersNorm,n__1,s__Entity)

 Merge.kif 4095-4095 The number 1 argument of confers norm is an instance of entity
s__domain(s__deprivesNorm,n__1,s__Entity)

 Merge.kif 4117-4117 The number 1 argument of deprives norm 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 820-822 If X is an instance of class, then X is a subclass of entity
! [V__BU,V__ORG] :
(((s__instance(V__BU,s__CognitiveAgent) &
       s__instance(V__BU,s__Organization) &
       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 2573-2578 If X is a business unit of Y, then there exists Z such that Z is an instance of entity and X is interested in Z
! [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 2619-2629 If X is an instance of cross_functional team, then there exists Y such that Y is an instance of entity, Z Z is an instance of human, and Z is a member of XZ is interested in Y

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


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

 Merge.kif 817-818 There exists X such that X 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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners