![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |