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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AnimacyAttribute
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 18158-18159
(exhaustiveAttribute AnimacyAttribute Living Dead) Merge.kif 18157-18157 exhaustiveAttribute AnimacyAttribute, Living and Dead
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18156-18156 AnimacyAttribute ist eine teilkategorie von BiologicalAttribute

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


(instance Dead AnimacyAttribute) Merge.kif 18170-18170 Dead ist ein fall von AnimacyAttribute %n{nicht}
(instance Living AnimacyAttribute) Merge.kif 18160-18160 Living ist ein fall von AnimacyAttribute %n{nicht}
(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

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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