![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
BiologicalAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (subclass BiologicalAttribute InternalAttribute) | Merge.kif 18363-18363 | Biological attribute is a subclass of internal attribute |
| (documentation BiologicalAttribute EnglishLanguage "Attributes that apply specifically to instances of OrganicObject (Organism or AnatomicalStructure).") | Merge.kif 18364-18365 | Biological attribute is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?ORG ?ATT) (instance ?ATT BiologicalAttribute)) (instance ?ORG OrganicObject)) |
Merge.kif 18376-18380 | If X is an attribute of Y and X is an instance of biological attribute, then Y is an instance of organic object |