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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimacyAttribute

Sigma KEE - AnimacyAttribute
AnimacyAttribute(animacy attribute)breathless, cold, deathlike, deathly, inanimate, pulseless

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 Living are all the attributes of animacy attribute
(subclass AnimacyAttribute BiologicalAttribute) Merge.kif 18077-18077 Animacy attribute is a subclass of biological attribute

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


(instance Dead AnimacyAttribute) Merge.kif 18091-18091 Dead is an instance of animacy attribute
(instance Living AnimacyAttribute) Merge.kif 18081-18081 Living is an instance of animacy attribute
(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 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