Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Wheelchair
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 24157-24158
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 24156-24156

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Wheelchair "wheelchair") Mid-level-ontology.kif 24159-24159

antecedent
-------------------------


(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 24161-24168
(=>
    (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 24170-24179

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 24191-24203


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners