Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WheelchairAccessible(wheelchair accessible) |
| appearance as argument number 1 |
|
| (instance WheelchairAccessible ObjectiveNorm) | Mid-level-ontology.kif 28719-28719 | Wheelchair accessible is an instance of objective norm |
| (documentation WheelchairAccessible EnglishLanguage "WheelchairAccessible describes how a location lets a person using a wheelchair move around without interference and with access to all features of that place.") | Mid-level-ontology.kif 28720-28722 | Wheelchair accessible is an instance of objective norm |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WheelchairAccessible "wheelchair accessible") | Mid-level-ontology.kif 28723-28723 |
| antecedent |
|
|
| (=> (attribute ?X WheelchairAccessible) (attribute ?X HandicappedFriendly)) |
Mid-level-ontology.kif 28725-28727 | If wheelchair accessible is an attribute of X, then handicapped friendly is an attribute of X |
| (=> (and (attribute ?X WheelchairAccessible) (or (instance ?X Building) (instance ?X Room))) (modalAttribute (exists (?MOTION ?WHEELCHAIR) (and (instance ?MOTION Motion) (instrument ?MOTION ?WHEELCHAIR) (instance ?WHEELCHAIR Wheelchair) (eventLocated ?MOTION ?X))) Possibility)) |
Mid-level-ontology.kif 28729-28741 | If wheelchair accessible is an attribute of X and X is an instance of building or X is an instance of room, then the statement there exist Y, Z such that Y is an instance of motion, Z is an instrument for Y, Z is an instance of wheelchair, and Y is located at X has the modal force of possibility |
|