Disability(disability) | ![]() | amputation, disability, disablement, handicap, impairment, learning_disability, learning_disorder, muteness, mutism, sequela |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21323-21326 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21322-21322 | Disability is a subclass of disease or syndrome |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21329-21329 | Physical disability is a subclass of disability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21335-21335 | Sensory disability is a subclass of disability |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21327-21327 | Sensory disability is a subclass of disability |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 51-63 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22090-22098 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28080-28087 |
|
![]() |
![]() |