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 2265-2266
(externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png")	pictureList.kif 783-783
(subclass Toilet Device)	Mid-level-ontology.kif 2264-2264	Toilet is a subclass of device

appearance as argument number 2

(termFormat ChineseLanguage Toilet "厕所")	domainEnglishFormat.kif 58371-58371
(termFormat ChineseTraditionalLanguage Toilet "廁所")	domainEnglishFormat.kif 58370-58370
(termFormat EnglishLanguage Toilet "toilet")	domainEnglishFormat.kif 58369-58369

antecedent

(=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom))	Mid-level-ontology.kif 2268-2273	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 2275-2283	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 7400-7408