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


KB Term:  Term intersection
English Word: 

  WaterBed

 Sigma KEE - WaterBed
WaterBed(waterbed)water_bed

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


(instance WaterBed BedAttribute) Mid-level-ontology.kif 4754-4754 Waterbed is an instance of bed attribute
(documentation WaterBed EnglishLanguage "WaterBed describes how the cushion of a Bed is filled with water") Mid-level-ontology.kif 4755-4756 Waterbed is an instance of bed attribute
(defaultMinimumHeight WaterBed
    (MeasureFn 18 Inch))		 DimensioningAmenities.kif 414-414 The minimum expected height of waterbed is 18 inch(s)
(defaultMaximumHeight WaterBed
    (MeasureFn 40 Inch))		 DimensioningAmenities.kif 415-415 The maximum expected height of waterbed is 40 inch(s)
(defaultMinimumWidth WaterBed
    (MeasureFn 38 Inch))		 DimensioningAmenities.kif 416-416 The minimum expected width of waterbed is 38 inch(s)
(defaultMaximumWidth WaterBed
    (MeasureFn 76 Inch))		 DimensioningAmenities.kif 417-417 The maximum expected width of waterbed is 76 inch(s)
(defaultMinimumLength WaterBed
    (MeasureFn 75 Inch))		 DimensioningAmenities.kif 418-418 The minimum expected length of waterbed is 75 inch(s)
(defaultMaximumLength WaterBed
    (MeasureFn 84 Inch))		 DimensioningAmenities.kif 419-419 The maximum expected length of waterbed is 84 inch(s)
(defaultMinimumMeasure WaterBed
    (MeasureFn 1100 PoundMass))		 DimensioningAmenities.kif 420-420 The minimum expected value of waterbed is 1100 pound mass(s)
(defaultMaximumMeasure WaterBed
    (MeasureFn 1800 PoundMass))		 DimensioningAmenities.kif 421-421 The maximum expected value of waterbed is 1800 pound mass(s)

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


(termFormat EnglishLanguage WaterBed "water bed") Mid-level-ontology.kif 4757-4757
(termFormat EnglishLanguage WaterBed "waterbed") Mid-level-ontology.kif 4758-4758

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


(=>
    (attribute ?X WaterBed)
    (exists (?MATTRESS ?WATER)
        (and
            (component ?MATTRESS ?X)
            (contains ?MATTRESS ?WATER)
            (instance ?WATER Water))))		 Mid-level-ontology.kif 4760-4766 If waterbed is an attribute of X, then there exist Y, Z such that Y is a component of X, Y contains Z, and Z is an instance of water


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