Disability |
appearance as argument number 1 |
(documentation Disability EnglishLanguage "Disability is a class of DiseaseOrSyndrome that describes impairments, activity limitations or participation restriction that may be physical, cognitive, mental, sensory, emotional, developmental or some combination [from Wikipedia]") | Mid-level-ontology.kif 19752-19755 | |
(subclass Disability DiseaseOrSyndrome) | Mid-level-ontology.kif 19751-19751 | 子類 Disability and DiseaseOrSyndrome |
appearance as argument number 2 |
(subclass PhysicalDisability Disability) | Mid-level-ontology.kif 19758-19758 | 子類 PhysicalDisability and Disability |
(subclass SensoryDisability Disability) | Mid-level-ontology.kif 19764-19764 | 子類 SensoryDisability and Disability |
(termFormat EnglishLanguage Disability "disability") | Mid-level-ontology.kif 19756-19756 |
antecedent |
(=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK (and (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice)) ?AGENT)) |
TransportDetail.kif 49-59 |
|
consequent |
(=> (and (instance ?W DisabilityLeave) (agent ?W ?PERSON)) (holdsDuring (WhenFn ?W) (exists (?D) (and (instance ?D Disability) (attribute ?PERSON ?D))))) |
Mid-level-ontology.kif 20473-20481 |
|
(=> (attribute ?X HandicappedFriendly) (exists (?ATTR ?PERSON) (and (instance ?ATTR Disability) (instance ?PERSON Human) (attribute ?PERSON ?ATTR) (inScopeOfInterest ?PERSON ?X)))) |
Mid-level-ontology.kif 26182-26189 |