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


KB Term:  Term intersection
English Word: 

  Bidet

 Sigma KEE - Bidet
Bidet(bidet)bidet

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


(subclass Bidet WashingDevice) Mid-level-ontology.kif 2776-2776 Bidet is a subclass of washing device
(documentation Bidet EnglishLanguage "Bidet is a WashingDevice intended for washing genitals and the anal area while on the toilet") Mid-level-ontology.kif 2777-2778 Bidet is a subclass of washing device
(defaultMinimumHeight Bidet
    (MeasureFn 3 Centimeter))		 DimensioningAmenities.kif 270-270 The minimum expected height of bidet is 3 centimeter(s)
(defaultMaximumHeight Bidet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 271-271 The maximum expected height of bidet is 40 centimeter(s)
(defaultMinimumWidth Bidet
    (MeasureFn 3 Centimeter))		 DimensioningAmenities.kif 272-272 The minimum expected width of bidet is 3 centimeter(s)
(defaultMaximumWidth Bidet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 273-273 The maximum expected width of bidet is 40 centimeter(s)
(defaultMinimumLength Bidet
    (MeasureFn 41 Centimeter))		 DimensioningAmenities.kif 274-274 The minimum expected length of bidet is 41 centimeter(s)
(defaultMaximumLength Bidet
    (MeasureFn 48 Centimeter))		 DimensioningAmenities.kif 275-275 The maximum expected length of bidet is 48 centimeter(s)
(defaultMinimumMeasure Bidet
    (MeasureFn 4 PoundMass))		 DimensioningAmenities.kif 276-276 The minimum expected value of bidet is 4 pound mass(s)
(defaultMaximumMeasure Bidet
    (MeasureFn 100 PoundMass))		 DimensioningAmenities.kif 277-277 The maximum expected value of bidet is 100 pound mass(s)

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


(termFormat EnglishLanguage Bidet "bidet") Mid-level-ontology.kif 2779-2779

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


(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (objectTransferred ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))		 Mid-level-ontology.kif 2781-2795 If X is an instance of bidet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of defecation or Y is an instance of urination (3) W is an instrument for Y (4) Z is an instance of washing (5) the object transferred in Z is W (6) X is an instrument for Z (7) the beginning of the time of existence of Y happens before the beginning of the time of existence of 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