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

appearance as argument number 2

(instance Dead AnimacyAttribute)	Merge.kif 18170-18170	Dead is an instance of animacy attribute
(instance Living AnimacyAttribute)	Merge.kif 18160-18160	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 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 18176-18181