Wheelchair - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Wheelchair TransportationDevice)	Mid-level-ontology.kif 28694-28694	Wheelchair is a subclass of transportation device
(documentation Wheelchair EnglishLanguage "Wheelchair is a type of LandVehicle that is used to individually transport those who cannot walk")	Mid-level-ontology.kif 28695-28696	Wheelchair is a subclass of transportation device

appearance as argument number 2

(termFormat EnglishLanguage Wheelchair "wheelchair")

antecedent

(=> (instance ?X Wheelchair) (exists (?WHEEL ?SEAT) (and (instance ?SEAT Seat) (instance ?WHEEL Wheel) (part ?SEAT ?X) (part ?WHEEL ?X))))	Mid-level-ontology.kif 28699-28706	If X is an instance of wheelchair, then there exist Y, Z such that Z is an instance of seat, Y is an instance of wheel, Z is a part of X, and Y is a part of X
(=> (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 28708-28717	If X is an instance of wheelchair, then X has the purpose there exist Y, Z such that Z is an instance of human, Z is not capable of doing walking as a agent, Y is an instance of transportation, Z is an agent of Y, and X is an instrument for Y

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))

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