Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BiologicalAttribute(biological attribute) |  | Jnr, Jr, Junior, Rh_incompatibility, Siamese_twin, X-linked_dominant_inheritance, X-linked_recessive_inheritance, abdominousness, absolute_pitch, absorption_factor, absorptivity, achromatic_vision, achromia, acned, acropetal, actinoid, actinomorphic, actinomorphous, active, activeness, activity, adiposeness, adiposis, adiposity, aerobic, aerobiotic, aerophilic, aerophilous, aestivation, affinity, agedness, agerasia, agnate, agnation, alto, altricial, anabiotic, anabolic, anaerobic, anaerobiotic, ancestor, ancestress, ancestry, anestrum, anestrus, anoestrum, anoestrus, antagonistic, antecedent, antidotal... |
| 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 |
|