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

KB Term:  Term intersection
English Word: 

Sigma KEE - WhirlpoolTub
WhirlpoolTub(whirlpool tub)

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


(subclass WhirlpoolTub FluidContainer) Mid-level-ontology.kif 27597-27597 Whirlpool tub is a subclass of fluid container
(documentation WhirlpoolTub EnglishLanguage "WhirlpoolTub refers to a FluidContainer used by Humans for relaxation with jets used to create water currents to massage the body") Mid-level-ontology.kif 27598-27600 Whirlpool tub is a subclass of fluid container
(defaultMinimumMeasure WhirlpoolTub
    (MeasureFn 60 UnitedStatesGallon))		 DimensioningAmenities.kif 38-38 The minimum expected value of whirlpool tub is 60 united states gallon(s)
(defaultMaximumMeasure WhirlpoolTub
    (MeasureFn 150 UnitedStatesGallon))		 DimensioningAmenities.kif 39-39 The maximum expected value of whirlpool tub is 150 united states gallon(s)
(defaultMinimumHeight WhirlpoolTub
    (MeasureFn 20 Inch))		 DimensioningAmenities.kif 40-40 The minimum expected height of whirlpool tub is 20 inch(s)
(defaultMaximumHeight WhirlpoolTub
    (MeasureFn 48 Inch))		 DimensioningAmenities.kif 41-41 The maximum expected height of whirlpool tub is 48 inch(s)
(defaultMinimumWidth WhirlpoolTub
    (MeasureFn 32 Inch))		 DimensioningAmenities.kif 42-42 The minimum expected width of whirlpool tub is 32 inch(s)
(defaultMaximumWidth WhirlpoolTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 43-43 The maximum expected width of whirlpool tub is 60 inch(s)
(defaultMinimumLength WhirlpoolTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 44-44 The minimum expected length of whirlpool tub is 60 inch(s)
(defaultMaximumLength WhirlpoolTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 45-45 The maximum expected length of whirlpool tub is 72 inch(s)
(defaultMinimumMeasure WhirlpoolTub
    (MeasureFn 130 PoundMass))		 DimensioningAmenities.kif 46-46 The minimum expected value of whirlpool tub is 130 pound mass(s)
(defaultMaximumMeasure WhirlpoolTub
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 47-47 The maximum expected value of whirlpool tub is 200 pound mass(s)

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


(termFormat EnglishLanguage WhirlpoolTub "whirlpool tub") Mid-level-ontology.kif 27601-27601
(subclass HotTub WhirlpoolTub) Mid-level-ontology.kif 27603-27603 Hot tub is a subclass of whirlpool tub
(subclass WhirlpoolBathtub WhirlpoolTub) HouseholdAppliances.kif 154-154 Whirlpool bathtub is a subclass of whirlpool tub

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


(=>
    (and
        (instance ?X WhirlpoolTub)
        (attribute ?X DoubleSize))
    (modalAttribute
        (exists (?T1)
            (holdsDuring ?T1
                (exists (?P1 ?P2)
                    (and
                        (instance ?P1 Human)
                        (instance ?P2 Human)
                        (not
                            (equal ?P1 ?P2))
                        (located ?P1 ?X)
                        (located ?P2 ?X))))) Possibility))		 Mid-level-ontology.kif 27636-27649 If X is an instance of whirlpool tub and double size is an attribute of X, then All of the following hold: (1) the statement there exists Y such that there exist Z (2) W such that Z is an instance of human (3) W is an instance of human (4) equal Z (5) W (6) Z is located at X (7) W is located at X holds during Y has the modal force of possibility
(=>
    (instance ?TUB WhirlpoolTub)
    (exists (?VALVE)
        (and
            (instance ?VALVE PressureControlValve)
            (part ?VALVE ?TUB)
            (hasPurpose ?VALVE
                (exists (?WATER ?CREATION ?MOTION)
                    (and
                        (instance ?WATER Water)
                        (located ?WATER ?TUB)
                        (instance ?CREATION Creation)
                        (instrument ?CREATION ?VALVE)
                        (result ?CREATION ?MOTION)
                        (instance ?MOTION Motion)
                        (located ?MOTION ?WATER)))))))		 engineering.kif 1375-1390 If X is an instance of whirlpool tub, then All of the following hold: (1) there exists Y such that Y is an instance of pressure control valve (2) Y is a part of X (3) Y has the purpose there exist Z, W (4) V such that Z is an instance of water (5) Z is located at X (6) W is an instance of creation (7) Y is an instrument for W (8) V is a result of W (9) V is an instance of motion (10) V is located at Z


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