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 18158-18159 | |
(subclass BiologicalAttribute InternalAttribute) | Merge.kif 18157-18157 |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18170-18174 |
![]() |
![]() |