Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Disability(disability) |  | amputation, disability, disablement, handicap, impairment, learning_disability, learning_disorder, muteness, mutism, sequela |
| appearance as argument number 1 |
|
|
| (subclass Disability DiseaseOrSyndrome) | Mid-level-ontology.kif 21653-21653 | Disability is a subclass of disease or syndrome |
| (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 21654-21657 | Disability is a subclass of disease or syndrome |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK ?AGENT (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 51-63 | If X is an instance of disabled parking, Y is an instance of human, Z is an attribute of Y, and Z is an instance of disability, then X has the purpose Y for there exist W, V such that W is an instance of putting, X plays role in event destination for W, V plays role in event patient for W, and V is an instance of transportation device |
| consequent |
|
|
| (=> (and (instance ?W DisabilityLeave) (agent ?W ?PERSON)) (holdsDuring (WhenFn ?W) (exists (?D) (and (instance ?D Disability) (attribute ?PERSON ?D))))) |
Mid-level-ontology.kif 22715-22723 | If X is an instance of disability leave and Y is an agent of X, then there exists Z such that Z is an instance of disability and Z is an attribute of Y holds during the time of existence of X |
| (=> (attribute ?X HandicappedFriendly) (exists (?ATTR ?PERSON) (and (instance ?ATTR Disability) (instance ?PERSON Human) (attribute ?PERSON ?ATTR) (inScopeOfInterest ?PERSON ?X)))) |
Mid-level-ontology.kif 28752-28759 | If handicapped friendly is an attribute of X, then there exist Y, Z such that Y is an instance of disability, Z is an instance of human, Y is an attribute of Z, and Z is interested in X |
|