TreeView 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 15521-15522
(externalImage Bathroom "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ A_typical_American_bathroom.jpg")	pictureList.kif 4539-4539
(subclass Bathroom Room)	Mid-level-ontology.kif 15520-15520	Bathroom ist eine teilkategorie von Room

appearance as argument number 2

(termFormat ChineseLanguage Bathroom "浴室")	domainEnglishFormat.kif 10182-10182
(termFormat ChineseTraditionalLanguage Bathroom "浴室")	domainEnglishFormat.kif 10181-10181
(termFormat EnglishLanguage Bathroom "bathroom")	domainEnglishFormat.kif 10180-10180
(typicalPart Faucet Bathroom)	engineering.kif 936-936	typicalPart Faucet and Bathroom

antecedent

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

Mid-level-ontology.kif 15524-15529

Wenn Object ist ein fall von Bathroom %n{nicht},
dann es gibt Physical um ** Physical ist ein fall von WashBasin %n{nicht} und ** Physical befindet sich an %n{nicht}

consequent

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

Mid-level-ontology.kif 2195-2200

Wenn Physical befindet sich an %n{nicht} und ** Physical ist ein fall von Toilet %n{nicht} und Object ist ein fall von Room %n{nicht},
dann ** Object ist ein fall von Bathroom %n{nicht}