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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 24139-24141
(instance WheelchairAccessible ObjectiveNorm) Mid-level-ontology.kif 24138-24138 instance WheelchairAccessible and ObjectiveNorm

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


(termFormat EnglishLanguage WheelchairAccessible "wheelchair accessible") Mid-level-ontology.kif 24142-24142 termFormat EnglishLanguage, WheelchairAccessible and "wheelchair accessible"

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 24148-24160
(=>
    (attribute ?X WheelchairAccessible)
    (attribute ?X HandicappedFriendly))
Mid-level-ontology.kif 24144-24146


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners