No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19750-19750 | Disability is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19757-19757 | Physical disability is a subclass of disability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19763-19763 | Sensory disability is a subclass of disability |
![]() |