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 20017-20019
(subclass PhysicalDisability Disability) Mid-level-ontology.kif 20016-20016

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


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

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


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


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