No TPTP formula. May not be expressible in strict first order. | Merge.kif 18023-18023 | 子類 BiologicalAttribute and InternalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12533-12533 | 子類 指紋 and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19732-19732 | 子類 VisualAcuityAttribute and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18042-18042 | 子類 身體姿勢 and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18077-18077 | 子類 AnimacyAttribute and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18104-18104 | 子類 SexAttribute and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18135-18135 | 子類 DevelopmentalAttribute and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | 子類 DiseaseOrSyndrome and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18256-18256 | 子類 PsychologicalAttribute and BiologicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1775-1775 | 子類 AuditoryAcuityAttribute and BiologicalAttribute |