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


KB Term:  Term intersection
English Word: 

  BathTub

 Sigma KEE - BathTub
BathTub(tub)bath, bathing_tub, bathtub, hip_bath, sitz_bath, tub

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


(subclass BathTub BathingDevice) Mid-level-ontology.kif 2647-2647 Tub is a subclass of bathing device
(subclass BathTub FluidContainer) Mid-level-ontology.kif 2648-2648 Tub is a subclass of fluid container
(documentation BathTub EnglishLanguage "BathTub refers to a BathingDevice that you can fill with water to use to watch the body") Mid-level-ontology.kif 2649-2650 Tub is a subclass of fluid container
(defaultMinimumMeasure BathTub
    (MeasureFn 40 UnitedStatesGallon))		 DimensioningAmenities.kif 27-27 The minimum expected value of tub is 40 united states gallon(s)
(defaultMaximumMeasure BathTub
    (MeasureFn 150 UnitedStatesGallon))		 DimensioningAmenities.kif 28-28 The maximum expected value of tub is 150 united states gallon(s)
(defaultMinimumHeight BathTub
    (MeasureFn 15 Inch))		 DimensioningAmenities.kif 29-29 The minimum expected height of tub is 15 inch(s)
(defaultMaximumHeight BathTub
    (MeasureFn 21 Inch))		 DimensioningAmenities.kif 30-30 The maximum expected height of tub is 21 inch(s)
(defaultMinimumWidth BathTub
    (MeasureFn 30 Inch))		 DimensioningAmenities.kif 31-31 The minimum expected width of tub is 30 inch(s)
(defaultMaximumWidth BathTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 32-32 The maximum expected width of tub is 60 inch(s)
(defaultMinimumLength BathTub
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 33-33 The minimum expected length of tub is 54 inch(s)
(defaultMaximumLength BathTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 34-34 The maximum expected length of tub is 72 inch(s)
(defaultMinimumMeasure BathTub
    (MeasureFn 70 PoundMass))		 DimensioningAmenities.kif 35-35 The minimum expected value of tub is 70 pound mass(s)
(defaultMaximumMeasure BathTub
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 36-36 The maximum expected value of tub is 200 pound mass(s)

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


(termFormat EnglishLanguage BathTub "tub") Mid-level-ontology.kif 2651-2651
(subclass GrecianTub BathTub) Mid-level-ontology.kif 29132-29132 Grecian tub is a subclass of tub

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


(=>
    (instance ?TUB BathTub)
    (hasPurpose ?TUB
        (exists (?WATER)
            (and
                (instance ?WATER Water)
                (contains ?TUB ?WATER)))))		 Mid-level-ontology.kif 2653-2659 If X is an instance of tub, then X has the purpose there exists Y such that Y is an instance of water and X contains Y


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