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 25516-25517
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 25515-25515 Wheelchair运输设备subclass

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


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

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


(=>
    (instance ?X Wheelchair)
    (exists (?WHEEL ?SEAT)
        (and
            (instance ?SEAT Seat)
            (instance ?WHEEL Wheel)
            (part ?SEAT ?X)
            (part ?WHEEL ?X))))
Mid-level-ontology.kif 25520-25527
(=>
    (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 25529-25538

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 25550-25562


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