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

KB Term:  Term intersection
English Word: 

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 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