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 27220-27221
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 27219-27219	Wheelchair is a subclass of transportation device

appearance as argument number 2

(termFormat EnglishLanguage Wheelchair "wheelchair")

Mid-level-ontology.kif 27222-27222

antecedent

(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X))))	Mid-level-ontology.kif 27224-27231	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 27233-27242	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 27254-27266