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 è una sottoclasse di MalattiaOSindrome |
appearance as argument number 2 |
(subclass PhysicalDisability Disability) | Mid-level-ontology.kif 19757-19757 | PhysicalDisability è una sottoclasse di Disability |
(subclass SensoryDisability Disability) | Mid-level-ontology.kif 19763-19763 | SensoryDisability è una sottoclasse di 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 |
|