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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GrabBar
GrabBar

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


(defaultMaximumHeight GrabBar
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 626-626
(defaultMaximumLength GrabBar
    (MeasureFn 4 Inch))
DimensioningAmenities.kif 630-630
(defaultMaximumMeasure GrabBar
    (MeasureFn 10 PoundMass))
DimensioningAmenities.kif 632-632
(defaultMaximumWidth GrabBar
    (MeasureFn 36 Inch))
DimensioningAmenities.kif 628-628
(defaultMinimumHeight GrabBar
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 625-625
(defaultMinimumLength GrabBar
    (MeasureFn 2 Inch))
DimensioningAmenities.kif 629-629
(defaultMinimumMeasure GrabBar
    (MeasureFn 3 PoundMass))
DimensioningAmenities.kif 631-631
(defaultMinimumWidth GrabBar
    (MeasureFn 12 Inch))
DimensioningAmenities.kif 627-627
(documentation GrabBar EnglishLanguage "GrabBar is a bar attached to a Wall to provide a handgrip for steadying yourself") Mid-level-ontology.kif 24143-24144
(subclass GrabBar Artifact) Mid-level-ontology.kif 24142-24142

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


(termFormat EnglishLanguage GrabBar "grab bar") Mid-level-ontology.kif 24145-24145

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


(=>
    (instance ?X GrabBar)
    (and
        (exists (?WALL)
            (and
                (instance ?WALL Wall)
                (connected ?X ?WALL)))
        (hasPurpose ?X
            (exists (?GRAB)
                (and
                    (instance ?GRAB Grabbing)
                    (instrument ?GRAB ?X))))))
Mid-level-ontology.kif 24147-24158
(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))
Mid-level-ontology.kif 24160-24166


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