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

KB Term:  Term intersection
English Word: 

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