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


KB Term:  Term intersection
English Word: 

Sigma KEE - WetBar
WetBar(wet bar)wet_bar

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


(subclass WetBar Artifact) Food.kif 326-326 Wet bar is a subclass of artifact
(documentation WetBar EnglishLanguage "WetBar is a place for preparing food and beverage that has a sink with running water") Food.kif 327-328 Wet bar is a subclass of artifact
(defaultMinimumHeight WetBar
    (MeasureFn 43 Inch))		 DimensioningAmenities.kif 234-234 The minimum expected height of wet bar is 43 inch(s)
(defaultMaximumHeight WetBar
    (MeasureFn 73 Inch))		 DimensioningAmenities.kif 235-235 The maximum expected height of wet bar is 73 inch(s)
(defaultMinimumWidth WetBar
    (MeasureFn 50 Inch))		 DimensioningAmenities.kif 236-236 The minimum expected width of wet bar is 50 inch(s)
(defaultMaximumWidth WetBar
    (MeasureFn 73 Inch))		 DimensioningAmenities.kif 237-237 The maximum expected width of wet bar is 73 inch(s)
(defaultMinimumLength WetBar
    (MeasureFn 23 Inch))		 DimensioningAmenities.kif 238-238 The minimum expected length of wet bar is 23 inch(s)
(defaultMaximumLength WetBar
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 239-239 The maximum expected length of wet bar is 30 inch(s)
(defaultMinimumMeasure WetBar
    (MeasureFn 150 PoundMass))		 DimensioningAmenities.kif 240-240 The minimum expected value of wet bar is 150 pound mass(s)
(defaultMaximumMeasure WetBar
    (MeasureFn 400 PoundMass))		 DimensioningAmenities.kif 241-241 The maximum expected value of wet bar is 400 pound mass(s)

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


(termFormat EnglishLanguage WetBar "wet bar") Food.kif 329-329

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


(=>
    (instance ?X WetBar)
    (exists (?SINK ?OBJ)
        (and
            (instance ?SINK WashBasin)
            (part ?SINK ?X)
            (instance ?OBJ Object)
            (attribute ?OBJ Flat)
            (hasPurpose ?OBJ
                (exists (?PREP ?FOOD)
                    (and
                        (instance ?PREP Making)
                        (result ?PREP ?FOOD)
                        (or
                            (instance ?FOOD PreparedFood)
                            (instance ?FOOD Beverage))
                        (eventLocated ?PREP ?OBJ))))
            (part ?OBJ ?X))))		 Food.kif 331-348 If X is an instance of wet bar, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of wash basin (3) Y is a part of X (4) Z is an instance of object (5) flat is an attribute of Z (6) Z has the purpose there exist W (7) V such that W is an instance of making (8) V is a result of W (9) V is an instance of prepared food or V is an instance of beverage (10) W is located at Z (11) Z is a part of X


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