| 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 18250-18251 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18249-18249 | |
| (subclass AnimacyAttribute BiologicalAttribute) | Merge.kif 18248-18248 |
| appearance as argument number 2 |
|
|
| (instance Dead AnimacyAttribute) | Merge.kif 18262-18262 | |
| (instance Living AnimacyAttribute) | Merge.kif 18252-18252 | |
| (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 de AnimacyAttribute "Belebtheitsattribut") | terms-de.txt 770-770 | |
| (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 18268-18273 |
|
|
|