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。") Merge.kif 18488-18489
(documentation AnimacyAttribute EnglishLanguage "Attributes that indicate whether an Organism is alive or not.") Merge.kif 18486-18487
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18485-18485
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18484-18484

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


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

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners