| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18023-18023 | Biological attribute is a subclass of internal attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12533-12533 | Fingerprint is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19732-19732 | Visual acuity attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18042-18042 | Body position is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18077-18077 | Animacy attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18104-18104 | Sex attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18135-18135 | Developmental attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | Disease or syndrome is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18256-18256 | Psychological attribute is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1775-1775 | Auditory acuity attribute is a subclass of biological attribute |
|
|