Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Disability
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners