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 21330-21332
(subclass PhysicalDisability Disability) Mid-level-ontology.kif 21329-21329 PhysicalDisability est une sous-classe de Disability

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


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

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


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


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