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 18049-18050
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18048-18048
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18047-18047

appearance as argument number 2

(instance Dead AnimacyAttribute) Merge.kif 18061-18061
(instance Living AnimacyAttribute) Merge.kif 18051-18051
(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 18067-18072

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