|
|
   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 17817-17818 | |
| (exhaustiveAttribute AnimacyAttribute Living Dead) | Merge.kif 17816-17816 | |
| (subclass AnimacyAttribute BiologicalAttribute) | Merge.kif 17815-17815 |
| appearance as argument number 2 |
|
|
| (instance Dead AnimacyAttribute) | Merge.kif 17829-17829 | |
| (instance Living AnimacyAttribute) | Merge.kif 17819-17819 | |
| (termFormat ChineseLanguage AnimacyAttribute "生命度属性") | chinese_format.kif 1258-1258 | |
| (termFormat EnglishLanguage AnimacyAttribute "animacy attribute") | english_format.kif 1737-1737 |
| consequent |
|
|
| (=> (instance ?ORG Organism) (exists (?ATTR) (and (instance ?ATTR AnimacyAttribute) (attribute ?ORG ?ATTR)))) |
Merge.kif 17835-17840 |
|
|
|