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 18350-18351
(documentation AnimacyAttribute EnglishLanguage "Attributes that indicate whether an Organism is alive or not.") Merge.kif 18348-18349
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18347-18347
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18346-18346

appearance as argument number 2

(instance Dead AnimacyAttribute) Merge.kif 18363-18363
(instance Living AnimacyAttribute) Merge.kif 18352-18352
(termFormat ChineseLanguage AnimacyAttribute "生命度属性") chinese_format.kif 1258-1258
(termFormat EnglishLanguage AnimacyAttribute "animacy attribute") english_format.kif 945-945
(termFormat FrenchLanguage AnimacyAttribute "attribute de vie") french_format.kif 936-936
(termFormat Hindi AnimacyAttribute "") terms-hindi.txt 472-472
(termFormat ItalianLanguage AnimacyAttribute "AttributoVitale") terms-it.txt 473-473
(termFormat PortugueseLanguage AnimacyAttribute "Atributo de Animacao") portuguese_format.kif 888-888
(termFormat cz AnimacyAttribute "animacy attribute") terms-cz.txt 511-511
(termFormat tg AnimacyAttribute "katangian ng pagpasigla") terms-tg.txt 476-476


    (instance ?ORG Organism)
    (exists (?ATTR)
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18370-18375

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