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 18103-18104 | |
(subclass BiologicalAttribute InternalAttribute) | Merge.kif 18102-18102 | Atributo Biologico e' uma sub-classe de Atributo Interno |
appearance as argument number 2 |
antecedent |
(=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18115-18119 |
|