Wheelchair
|
|
appearance as argument number 1 |
(documentation Wheelchair EnglishLanguage "Wheelchair is a type of LandVehicle that is used to individually transport those who cannot walk") | Mid-level-ontology.kif 26125-26126 | |
(subclass Wheelchair TransportationDevice) | Mid-level-ontology.kif 26124-26124 | Wheelchair is a subclass of transportation device |
appearance as argument number 2 |
(termFormat EnglishLanguage Wheelchair "wheelchair") | Mid-level-ontology.kif 26127-26127 |
antecedent |
consequent |
(=> (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 26159-26171 |
|