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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (instance ?ORG Organism)
    (exists (?ATTR)
            (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