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 19786-19788
(subclass PhysicalDisability Disability) Mid-level-ontology.kif 19785-19785 PhysicalDisability e' uma sub-classe de Disability

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


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

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


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


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