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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WheelchairAccessible

Sigma KEE - WheelchairAccessible
WheelchairAccessible

appearance as argument number 1
-------------------------


(documentation WheelchairAccessible EnglishLanguage "WheelchairAccessible describes how a location lets a person using a wheelchair move around without interference and with access to all features of that place.") Mid-level-ontology.kif 26183-26185
(instance WheelchairAccessible ObjectiveNorm) Mid-level-ontology.kif 26182-26182 WheelchairAccessible ist ein fall von ObjectiveNorm %n{nicht}

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


(termFormat EnglishLanguage WheelchairAccessible "wheelchair accessible") Mid-level-ontology.kif 26186-26186

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


(=>
    (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 26192-26204
(=>
    (attribute ?X WheelchairAccessible)
    (attribute ?X HandicappedFriendly))
Mid-level-ontology.kif 26188-26190


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

Show without tree


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