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 2661-2662
(externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png")	pictureList.kif 783-783
(subclass Toilet Device)	Mid-level-ontology.kif 2660-2660	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 2664-2669	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 2671-2679	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 7807-7815