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

KB Term:  Term intersection
English Word: 

Sigma KEE - GrecianTub
GrecianTub(grecian tub)

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


(subclass GrecianTub BathTub) Mid-level-ontology.kif 29132-29132 Grecian tub is a subclass of tub
(documentation GrecianTub EnglishLanguage "GrecianTub is a combination of soaking tubs and standard tubs, meaning it has inreased depth for soaking, but can fit into tight spaces by not being as long as standard tubs") Mid-level-ontology.kif 29133-29135 Grecian tub is a subclass of tub
(defaultMinimumMeasure GrecianTub
    (MeasureFn 60 UnitedStatesGallon))		 DimensioningAmenities.kif 49-49 The minimum expected value of grecian tub is 60 united states gallon(s)
(defaultMaximumMeasure GrecianTub
    (MeasureFn 150 UnitedStatesGallon))		 DimensioningAmenities.kif 50-50 The maximum expected value of grecian tub is 150 united states gallon(s)
(defaultMinimumHeight GrecianTub
    (MeasureFn 24 Inch))		 DimensioningAmenities.kif 51-51 The minimum expected height of grecian tub is 24 inch(s)
(defaultMaximumHeight GrecianTub
    (MeasureFn 48 Inch))		 DimensioningAmenities.kif 52-52 The maximum expected height of grecian tub is 48 inch(s)
(defaultMinimumWidth GrecianTub
    (MeasureFn 32 Inch))		 DimensioningAmenities.kif 53-53 The minimum expected width of grecian tub is 32 inch(s)
(defaultMaximumWidth GrecianTub
    (MeasureFn 60 Inch))		 DimensioningAmenities.kif 54-54 The maximum expected width of grecian tub is 60 inch(s)
(defaultMinimumLength GrecianTub
    (MeasureFn 54 Inch))		 DimensioningAmenities.kif 55-55 The minimum expected length of grecian tub is 54 inch(s)
(defaultMaximumLength GrecianTub
    (MeasureFn 72 Inch))		 DimensioningAmenities.kif 56-56 The maximum expected length of grecian tub is 72 inch(s)
(defaultMinimumMeasure GrecianTub
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 57-57 The minimum expected value of grecian tub is 100 pound mass(s)
(defaultMaximumMeasure GrecianTub
    (MeasureFn 200 PoundMass))		 DimensioningAmenities.kif 58-58 The maximum expected value of grecian tub is 200 pound mass(s)

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


(termFormat EnglishLanguage GrecianTub "grecian tub") Mid-level-ontology.kif 29136-29136

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


(=>
    (instance ?X GrecianTub)
    (hasPurpose ?X
        (exists (?HUMAN ?SOAK)
            (and
                (instance ?SOAK Soaking)
                (instance ?HUMAN Human)
                (agent ?SOAK ?HUMAN)
                (patient ?SOAK ?HUMAN)
                (eventLocated ?SOAK ?X)))))		 Mid-level-ontology.kif 29138-29147 If X is an instance of grecian tub, then X has the purpose there exist Y, Z such that Z is an instance of soaking, Y is an instance of human, Y is an agent of Z, Y is a patient of Z, and Z is located at 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners