Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Cider

 Sigma KEE - GrabBar
GrabBar(grab bar)grab_bar

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


(subclass GrabBar Artifact) Mid-level-ontology.kif 29075-29075 Grab bar is a subclass of artifact
(documentation GrabBar EnglishLanguage "GrabBar is a bar attached to a Wall to provide a handgrip for steadying yourself") Mid-level-ontology.kif 29076-29077 Grab bar is a subclass of artifact
(defaultMinimumHeight GrabBar
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 378-378 The minimum expected height of grab bar is 2 inch(s)
(defaultMaximumHeight GrabBar
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 379-379 The maximum expected height of grab bar is 4 inch(s)
(defaultMinimumWidth GrabBar
    (MeasureFn 12 Inch))		 DimensioningAmenities.kif 380-380 The minimum expected width of grab bar is 12 inch(s)
(defaultMaximumWidth GrabBar
    (MeasureFn 36 Inch))		 DimensioningAmenities.kif 381-381 The maximum expected width of grab bar is 36 inch(s)
(defaultMinimumLength GrabBar
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 382-382 The minimum expected length of grab bar is 2 inch(s)
(defaultMaximumLength GrabBar
    (MeasureFn 4 Inch))		 DimensioningAmenities.kif 383-383 The maximum expected length of grab bar is 4 inch(s)
(defaultMinimumMeasure GrabBar
    (MeasureFn 3 PoundMass))		 DimensioningAmenities.kif 384-384 The minimum expected value of grab bar is 3 pound mass(s)
(defaultMaximumMeasure GrabBar
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 385-385 The maximum expected value of grab bar is 10 pound mass(s)

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


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

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 29080-29091 If X is an instance of grab bar, then there exists Y such that Y is an instance of wall and X is connected to Y and X has the purpose there exists Z such that Z is an instance of grabbing and X is an instrument for Z
(=>
    (instance ?X GrabBar)
    (modalAttribute
        (exists (?HUMAN)
            (and
                (attribute ?HUMAN PhysicalDisability)
                (inScopeOfInterest ?HUMAN ?X))) Likely))		 Mid-level-ontology.kif 29093-29099 If X is an instance of grab bar, then the statement there exists Y such that physical disability is an attribute of Y and Y is interested in X has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners