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 17994-17995 | |
(subclass BiologicalAttribute InternalAttribute) | Merge.kif 17993-17993 |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18006-18010 |
![]() |
![]() |