|
|
   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 18049-18050 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 18048-18048 | |
| (subclass AnimacyAttribute BiologicalAttribute) | Merge.kif 18047-18047 |
| appearance as argument number 2 |
|
|
| (instance Dead AnimacyAttribute) | Merge.kif 18061-18061 | |
| (instance Living AnimacyAttribute) | Merge.kif 18051-18051 | |
| (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 18067-18072 |
|
|
|