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。") chinese_format.kif 4013-4014
(documentation AnimacyAttribute EnglishLanguage "Attributes that indicate whether an Organism is alive or not.") Merge.kif 18079-18080
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18078-18078 活的 是所有的 生命度属性attributes
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18077-18077 生命度属性生物属性subclass

appearance as argument number 2

(instance Dead AnimacyAttribute) Merge.kif 18091-18091 生命度属性instance
(instance Living AnimacyAttribute) Merge.kif 18081-18081 活的生命度属性instance
(termFormat ChineseLanguage AnimacyAttribute "生命度属性") chinese_format.kif 1258-1258
(termFormat EnglishLanguage AnimacyAttribute "animacy attribute") english_format.kif 1737-1737
(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 475-475
(termFormat JapaneseLanguage AnimacyAttribute "有生性属性") japanese_format.kif 2620-2620
(termFormat PortugueseLanguage AnimacyAttribute "Atributo de Animacao") portuguese_format.kif 888-888
(termFormat cz AnimacyAttribute "animacy attribute") terms-cz.txt 511-511
(termFormat ro AnimacyAttribute "atribut vital") relations-ro.kif 957-957
(termFormat tg AnimacyAttribute "katangian ng pagpasigla") terms-tg.txt 476-476


    (instance ?ORG Organism)
    (exists (?ATTR)
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))
Merge.kif 18097-18102

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