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 3150-3150 The range of first is an instance of entity
s__range(s__LastFn__m,s__Entity)

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

Merge.kif 2908-2908 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__Class)

s__instance(s__Entity,s__Class)

s__subclass(s__Abstract,s__Entity)

Merge.kif 1612-1612 Abstract is a subclass of entity
s__instance(s__Entity,s__Class)

s__subclass(s__Physical,s__Entity)

s__instance(s__Physical,s__Class)

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

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 2862-2862 The number 1 argument of list is an instance of entity
s__domain(s__abbreviation__m,n__2,s__Entity)

Mid-level-ontology.kif 26457-26457 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 3015-3015 The number 2 argument of acronym is an instance of entity
s__domain(s__buys__m,n__3,s__Entity)

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

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

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

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

Music.kif 1073-1073 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 26440-26440 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 26452-26452 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 13040-13040 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 3920-3920 The number 1 argument of deprives norm is an instance of entity
s__domain(s__destination__m,n__2,s__Entity)

Merge.kif 2386-2386 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 5211-5211 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 3271-3271 The number 2 argument of fullName is an instance of entity
s__domain(s__fullNameIndexOrder__m,n__2,s__Entity)

Media.kif 3285-3285 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