No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19750-19750 | Disability est une sous-classe de maladie ou syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19757-19757 | PhysicalDisability est une sous-classe de Disability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19763-19763 | SensoryDisability est une sous-classe de Disability |
![]() |