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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimacyAttribute

Sigma KEE - AnimacyAttribute
AnimacyAttribute

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


(documentation AnimacyAttribute ChineseLanguage "这是表示一个 Organism 是否活着的 Attribute。") chinese_format.kif 4013-4014
(documentation AnimacyAttribute EnglishLanguage "Attributes that indicate whether an Organism is alive or not.") Merge.kif 17817-17818
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 17816-17816
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 17815-17815

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


(instance Dead AnimacyAttribute) Merge.kif 17829-17829
(instance Living AnimacyAttribute) Merge.kif 17819-17819
(termFormat ChineseLanguage AnimacyAttribute "生命度属性") chinese_format.kif 1258-1258
(termFormat EnglishLanguage AnimacyAttribute "animacy attribute") english_format.kif 1737-1737

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


(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 17835-17840


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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