Bathroom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Bathroom EnglishLanguage "A Room that contains a WashBasin and possibly a Toilet.")	Mid-level-ontology.kif 16422-16423
(externalImage Bathroom "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ A_typical_American_bathroom.jpg")	pictureList.kif 4538-4538
(subclass Bathroom Room)	Mid-level-ontology.kif 16421-16421	Bathroom is a subclass of room

appearance as argument number 2

(termFormat ChineseLanguage Bathroom "浴室")	domainEnglishFormat.kif 10189-10189
(termFormat ChineseTraditionalLanguage Bathroom "浴室")	domainEnglishFormat.kif 10188-10188
(termFormat EnglishLanguage Bathroom "bathroom")	domainEnglishFormat.kif 10187-10187
(typicalPart Faucet Bathroom)	engineering.kif 1249-1249	A faucet is typically a part of a bathroom

antecedent

(=>
    (instance ?B Bathroom)
    (exists (?W)
        (and
            (instance ?W WashBasin)
            (located ?W ?B))))

Mid-level-ontology.kif 16425-16430

consequent

(=>
    (and
        (located ?T ?R)
        (instance ?T Toilet)
        (instance ?R Room))
    (instance ?R Bathroom))

Mid-level-ontology.kif 2268-2273