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

KB Term:  Term intersection
English Word: 

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