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


KB Term:  Term intersection
English Word: 

  Shower

 Sigma KEE - Shower
Shower(shower)shower

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


(subclass Shower BathingDevice) Mid-level-ontology.kif 2623-2623 Shower is a subclass of bathing device
(documentation Shower EnglishLanguage "Shower refers to a plumbing fixture that sprays water over you.") Mid-level-ontology.kif 2624-2625 Shower is a subclass of bathing device
(defaultMinimumHeight Shower
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 441-441 The minimum expected height of shower is 2 inch(s)
(defaultMaximumHeight Shower
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 442-442 The maximum expected height of shower is 5 inch(s)
(defaultMinimumWidth Shower
    (MeasureFn 2 Inch))		 DimensioningAmenities.kif 443-443 The minimum expected width of shower is 2 inch(s)
(defaultMaximumWidth Shower
    (MeasureFn 5 Inch))		 DimensioningAmenities.kif 444-444 The maximum expected width of shower is 5 inch(s)
(defaultMinimumLength Shower
    (MeasureFn 3 Inch))		 DimensioningAmenities.kif 445-445 The minimum expected length of shower is 3 inch(s)
(defaultMaximumLength Shower
    (MeasureFn 7 Inch))		 DimensioningAmenities.kif 446-446 The maximum expected length of shower is 7 inch(s)
(defaultMinimumMeasure Shower
    (MeasureFn 1 PoundMass))		 DimensioningAmenities.kif 447-447 The minimum expected value of shower is 1 pound mass(s)
(defaultMaximumMeasure Shower
    (MeasureFn 10 PoundMass))		 DimensioningAmenities.kif 448-448 The maximum expected value of shower is 10 pound mass(s)

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


(termFormat EnglishLanguage Shower "shower") Mid-level-ontology.kif 2626-2626

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


(=>
    (instance ?SHOWER Shower)
    (hasPurpose ?SHOWER
        (exists (?SPRAY)
            (and
                (instance ?SPRAY WaterMotion)
                (origin ?SPRAY ?SHOWER)))))		 Mid-level-ontology.kif 2628-2634 If X is an instance of shower, then X has the purpose there exists Y such that Y is an instance of water motion and Y originates at X
(=>
    (instance ?SHOWER Shower)
    (exists (?X ?FLOOR)
        (and
            (or
                (instance ?X Wall)
                (instance ?X Ceiling))
            (connected ?SHOWER ?X)
            (instance ?FLOOR Floor)
            (orientation ?SHOWER ?FLOOR Above))))		 Mid-level-ontology.kif 2636-2645 If X is an instance of shower, then there exist Y, Z such that Y is an instance of wall or Y is an instance of ceiling, X is connected to Y, Z is an instance of floor, and X is above to Z


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