AnimacyAttribute - Sigma Knowledge base Browser

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

appearance as argument number 2

(instance Dead AnimacyAttribute)	Merge.kif 18195-18195	Dead is an instance of animacy attribute
(instance Living AnimacyAttribute)	Merge.kif 18185-18185	Living is an instance of animacy attribute
(termFormat ChineseLanguage AnimacyAttribute "生命度属性")	chinese_format.kif 1258-1258	Living is an instance of animacy attribute
(termFormat EnglishLanguage AnimacyAttribute "animacy attribute")	english_format.kif 1737-1737	Living is an instance of animacy attribute
(termFormat FrenchLanguage AnimacyAttribute "attribute de vie")	french_format.kif 936-936	Living is an instance of animacy attribute
(termFormat Hindi AnimacyAttribute "")	terms-hindi.txt 472-472	Living is an instance of animacy attribute
(termFormat ItalianLanguage AnimacyAttribute "AttributoVitale")	terms-it.txt 475-475	Living is an instance of animacy attribute
(termFormat JapaneseLanguage AnimacyAttribute "有生性属性")	japanese_format.kif 2620-2620	Living is an instance of animacy attribute
(termFormat PortugueseLanguage AnimacyAttribute "Atributo de Animacao")	portuguese_format.kif 888-888	Living is an instance of animacy attribute
(termFormat cz AnimacyAttribute "animacy attribute")	terms-cz.txt 511-511	Living is an instance of animacy attribute
(termFormat de AnimacyAttribute "Belebtheitsattribut")	terms-de.txt 770-770	Living is an instance of animacy attribute
(termFormat ro AnimacyAttribute "atribut vital")	relations-ro.kif 957-957	Living is an instance of animacy attribute
(termFormat tg AnimacyAttribute "katangian ng pagpasigla")	terms-tg.txt 476-476	Living is an instance of animacy attribute

consequent

(=>
    (instance ?ORG Organism)
    (exists (?ATTR)
        (and
            (instance ?ATTR AnimacyAttribute)
            (attribute ?ORG ?ATTR))))

Merge.kif 18201-18206

If an object is an instance of organism,
then there exists an attribute such that the attribute is an instance of animacy attribute and the attribute is an attribute of the object

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

KB Term:			Term intersection

English Word: