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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimacyAttribute
AnimacyAttribute(animacy attribute)breathless, cold, deathlike, deathly, inanimate, pulseless

appearance as argument number 1
-------------------------


s__documentation(s__AnimacyAttribute,s__ChineseLanguage,'"这是表示一个 Organism 是否活着的 Attribute。"')

chinese_format.kif 4013-4014
s__documentation(s__AnimacyAttribute,s__EnglishLanguage,'"Attributes that indicate whether an Organism is alive or not."')

Merge.kif 17258-17259
s__exhaustiveAttribute__3(s__AnimacyAttribute,s__Living,s__Dead)

Merge.kif 17257-17257 Living are all the attributes of animacy attribute
s__subclass(s__AnimacyAttribute,s__BiologicalAttribute)

s__instance(s__AnimacyAttribute,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

Merge.kif 17256-17256 Animacy attribute is a subclass of biological attribute

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


s__instance(s__AnimacyAttribute,s__SetOrClass)

s__instance(s__Dead,s__AnimacyAttribute)

Merge.kif 17270-17270 Dead is an instance of animacy attribute
s__instance(s__AnimacyAttribute,s__SetOrClass)

s__instance(s__Living,s__AnimacyAttribute)

Merge.kif 17260-17260 Living is an instance of animacy attribute
s__termFormat(s__ChineseLanguage,s__AnimacyAttribute,'"生命度属性"')

chinese_format.kif 1258-1258
s__termFormat(s__EnglishLanguage,s__AnimacyAttribute,'"animacy attribute"')

english_format.kif 1742-1742

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


( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organism) =>
       (( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__AnimacyAttribute) &
               s__attribute(V__ORG,V__ATTR))))))
   )
)

Merge.kif 17276-17281


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 is open source software produced by Articulate Software and its partners