Toilet - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Toilet EnglishLanguage "A Device for the disposal of wastes resulting from urination and defecation.")	Mid-level-ontology.kif 2192-2193
(externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png")	pictureList.kif 783-783
(subclass Toilet Device)	Mid-level-ontology.kif 2191-2191	Toilet is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage Toilet "厕所")	domainEnglishFormat.kif 58378-58378
(termFormat ChineseTraditionalLanguage Toilet "廁所")	domainEnglishFormat.kif 58377-58377
(termFormat EnglishLanguage Toilet "toilet")	domainEnglishFormat.kif 58376-58376

antecedent

(=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom))	Mid-level-ontology.kif 2195-2200	If a physical is located at an object and the physical is an instance of toilet and the object is an instance of room, then the object 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 2202-2210	If a physical is an instance of toilet, then the physical has the purpose there exists an entity such that the entity is an instance of defecation or the entity is an instance of urination and the entity ends up at the physical

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