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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimacyAttribute

Sigma KEE - AnimacyAttribute
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

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


(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (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