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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalDisability

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 19129-19131
(subclass PhysicalDisability Disability) Mid-level-ontology.kif 19128-19128

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


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

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


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


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

Show without tree


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