| BiologicalAttribute(biological attribute) | | Jnr, Jr, Junior, Rh_incompatibility, Siamese_twin, X-linked_dominant_inheritance, X-linked_recessive_inheritance, abdominousness, abducent, abducting, absolute_pitch, absorption_factor, absorptivity, achromatic_vision, achromia, acned, acropetal, actinoid, actinomorphic, actinomorphous, active, activeness, activity, adducent, adducting, adductive, adiposeness, adiposis, adiposity, aerobic, aerobiotic, aerophilic, aerophilous, aestivation, affinity, agedness, agerasia, agnate, agnation, alto, altricial, anabiotic, anabolic, anaerobic, anaerobiotic, ancestor, ancestress, ancestry, anestrum, anestrus... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4004-4005 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16761-16762 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16760-16760 | Biological attribute is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26504-26504 | Healthy is an instance of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16325-16325 | Hungry is an instance of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16350-16350 | Pregnant is an instance of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16337-16337 | Thirsty is an instance of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16814-16814 | Animacy attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16779-16779 | Body position is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16868-16868 | Developmental attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16951-16951 | Disease or syndrome is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9403-9403 | Fingerprint is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16960-16960 | Psychological attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16841-16841 | Sex attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16270-16270 | VisualAcuityAttribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1257-1257 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1740-1740 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16773-16777 |
|
|
|
|