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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PhysicalDisability
PhysicalDisability

appearance as argument number 1
-------------------------


(documentation PhysicalDisability EnglishLanguage "PhysicalDisability is any impairment that limits the physical function of limbs or fine or gross motor ability, or limit the facets of daily living [from Wikipedia]") Mid-level-ontology.kif 16297-16299
(subclass PhysicalDisability Disability) Mid-level-ontology.kif 16296-16296

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PhysicalDisability "physical disability") Mid-level-ontology.kif 16300-16300

consequent
-------------------------


(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))
Mid-level-ontology.kif 22704-22710


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