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 24126-24127
(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 24125-24125	Wheelchair is a subclass of transportation device

appearance as argument number 2

(termFormat EnglishLanguage Wheelchair "wheelchair")

Mid-level-ontology.kif 24128-24128

antecedent

(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X))))	Mid-level-ontology.kif 24130-24137	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 24139-24148	If a physical is an instance of wheelchair, then the physical 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 24160-24172