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 18196-18197 | |
(subclass BiologicalAttribute InternalAttribute) | Merge.kif 18195-18195 |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18208-18212 |
![]() |
![]() |