|
|
   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 19751-19754 | |
| (subclass Disability DiseaseOrSyndrome) | Mid-level-ontology.kif 19750-19750 | Disability ist eine teilkategorie von DiseaseOrSyndrome |
| appearance as argument number 2 |
|
|
| (subclass PhysicalDisability Disability) | Mid-level-ontology.kif 19757-19757 | PhysicalDisability ist eine teilkategorie von Disability |
| (subclass SensoryDisability Disability) | Mid-level-ontology.kif 19763-19763 | SensoryDisability ist eine teilkategorie von Disability |
| (termFormat EnglishLanguage Disability "disability") | Mid-level-ontology.kif 19755-19755 |
| 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 20472-20480 |
|
| (=> (attribute ?X HandicappedFriendly) (exists (?ATTR ?PERSON) (and (instance ?ATTR Disability) (instance ?PERSON Human) (attribute ?PERSON ?ATTR) (inScopeOfInterest ?PERSON ?X)))) |
Mid-level-ontology.kif 26170-26177 |
|
|
|
|