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


KB Term:  Term intersection
English Word: 

  SupplyPressure

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