Wheelchair - Sigma Knowledge base Browser

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 27782-27783
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 27781-27781	Wheelchair is a subclass of transportation device

appearance as argument number 2

(termFormat EnglishLanguage Wheelchair "wheelchair")

Mid-level-ontology.kif 27784-27784

antecedent

(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X))))	Mid-level-ontology.kif 27786-27793	If an object is an instance of wheelchair, then there exist another object and a third object such that the third object is an instance of seat and the other object is an instance of wheel and the third object is a part of the object and the other object is a part of the object
(=> (instance ?X Wheelchair) (hasPurpose ?X (exists (?TRANSPORT ?HUMAN) (and (instance ?HUMAN Human) (not (capability Walking agent ?HUMAN)) (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?HUMAN) (instrument ?TRANSPORT ?X)))))	Mid-level-ontology.kif 27795-27804	If a physical is an instance of wheelchair, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the other entity is not capable of doing walking as a agent and the entity is an instance of transportation and the other entity is an agent of the entity and the physical is an instrument for the entity

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 27816-27828