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

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

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


s__range(s__AssignmentFn__m,s__Entity)

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

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

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

Merge.kif 2875-2875 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__instance(s__Entity,s__SetOrClass)

s__subclass(s__Abstract,s__Entity)

Merge.kif 1579-1579 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 798-798 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 753-753 The number 2 argument of assignment is an instance of entity
s__domain(s__ListFn__m,n__1,s__Entity)

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

Mid-level-ontology.kif 25364-25364 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 28107-28107 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 17512-17512 The number 1 argument of comment is an instance of entity
s__domain(s__confersNorm__m,n__1,s__Entity)

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

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

Merge.kif 16625-16625 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 25347-25347 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 25359-25359 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 12079-12079 The number 2 argument of creator is an instance of entity
s__domain(s__crossFunctionalTeamFocus__m,n__1,s__Entity)

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

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

Merge.kif 2353-2353 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 5176-5176 The number 1 argument of element is an instance of entity
s__domain(s__externalImage__m,n__1,s__Entity)

Merge.kif 649-649 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
s__domain(s__fullName__m,n__2,s__Entity)

Media.kif 3259-3259 The number 2 argument of fullName is an instance of entity
s__domain(s__fullNameIndexOrder__m,n__2,s__Entity)

Media.kif 3273-3273 The number 2 argument of fullNameIndexOrder is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [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 2782-2787
( ! [V__CLASS] :
   ((s__instance(V__CLASS,s__Class) =>
       (s__subclass(V__CLASS,s__Entity)))
     )
   )

Merge.kif 794-796
( ! [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 2828-2838