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


KB Term:  Term intersection
English Word: 

  Toilet

 Sigma KEE - Toilet
Toilet(toilet)
can, commode, crapper, flush_toilet, flushless_toilet, lavatory, pot, potty, potty_chair, potty_seat, stool, throne, toilet

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


(subclass Toilet Device) Mid-level-ontology.kif 2797-2797 Toilet is a subclass of device
(documentation Toilet EnglishLanguage "A Device for the disposal of wastes resulting from urination and defecation.") Mid-level-ontology.kif 2798-2799 Toilet is a subclass of device
(defaultMinimumHeight Toilet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 261-261 The minimum expected height of toilet is 40 centimeter(s)
(defaultMaximumHeight Toilet
    (MeasureFn 45 Centimeter))		 DimensioningAmenities.kif 262-262 The maximum expected height of toilet is 45 centimeter(s)
(defaultMinimumWidth Toilet
    (MeasureFn 38 Centimeter))		 DimensioningAmenities.kif 263-263 The minimum expected width of toilet is 38 centimeter(s)
(defaultMaximumWidth Toilet
    (MeasureFn 40 Centimeter))		 DimensioningAmenities.kif 264-264 The maximum expected width of toilet is 40 centimeter(s)
(defaultMinimumLength Toilet
    (MeasureFn 48 Centimeter))		 DimensioningAmenities.kif 265-265 The minimum expected length of toilet is 48 centimeter(s)
(defaultMaximumLength Toilet
    (MeasureFn 48 Centimeter))		 DimensioningAmenities.kif 266-266 The maximum expected length of toilet is 48 centimeter(s)
(defaultMinimumMeasure Toilet
    (MeasureFn 90 PoundMass))		 DimensioningAmenities.kif 267-267 The minimum expected value of toilet is 90 pound mass(s)
(defaultMaximumMeasure Toilet
    (MeasureFn 120 PoundMass))		 DimensioningAmenities.kif 268-268 The maximum expected value of toilet is 120 pound mass(s)
(externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png") pictureList.kif 783-783 The maximum expected value of toilet is 120 pound mass(s)

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


(termFormat EnglishLanguage Toilet "toilet") domainEnglishFormat.kif 58333-58333
(termFormat ChineseTraditionalLanguage Toilet "廁所") domainEnglishFormat.kif 58334-58334
(termFormat ChineseLanguage Toilet "厕所") domainEnglishFormat.kif 58335-58335

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


(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))		 Mid-level-ontology.kif 2801-2806 If X is located at Y, X is an instance of toilet, and Y is an instance of room, then Y is an instance of bathroom
(=>
    (instance ?X Toilet)
    (hasPurpose ?X
        (exists (?PROC)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (destination ?PROC ?X)))))		 Mid-level-ontology.kif 2808-2816 If X is an instance of toilet, then X has the purpose there exists Y such that Y is an instance of defecation or Y is an instance of urination and Y ends up at X

consequent
-------------------------


(=>
    (instance ?P PortableRestroom)
    (hasPurpose ?P
        (exists (?T ?M)
            (and
                (instance ?T Toilet)
                (contains ?P ?T)
                (instance ?M Translocation)
                (patient ?M ?P)))))		 Mid-level-ontology.kif 7939-7947 If X is an instance of portable restroom, then X has the purpose there exist Y, Z such that Y is an instance of toilet, X contains Y, Z is an instance of translocation, and X is a patient 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