TreeView Knowledge Base Browser - PhysicalDisability

appearance as argument number 1

(subclass PhysicalDisability Disability)	Mid-level-ontology.kif 21660-21660	Physical disability is a subclass of disability
(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 21661-21663	Physical disability is a subclass of disability

appearance as argument number 2

consequent

(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))

If X is an instance of grab bar, then the statement there exists Y such that physical disability is an attribute of Y and Y is interested in X has the modal force of likely