BiologicalAttribute
|
|
appearance as argument number 1 |
(documentation BiologicalAttribute ChineseLanguage "这是特别用于 Organism 实例的 Attribute。") | chinese_format.kif 4004-4005 | |
(documentation BiologicalAttribute EnglishLanguage "Attributes that apply specifically to instances of OrganicObject (Organism or AnatomicalStructure).") | Merge.kif 18024-18025 | |
(subclass BiologicalAttribute InternalAttribute) | Merge.kif 18023-18023 |
appearance as argument number 2 |
antecedent |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18036-18040 |