No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19750-19750 | 子類 Disability and DiseaseOrSyndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19757-19757 | 子類 PhysicalDisability and Disability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19763-19763 | 子類 SensoryDisability and Disability |