| Bathroom(bathroom)
| | bath, bathroom, can, john, lav, lavatory, privy, toilet |
| appearance as argument number 1 |
|
|
| (documentation Bathroom EnglishLanguage "A Room that contains a WashBasin and possibly a Toilet.") | Mid-level-ontology.kif 15712-15713 | |
| (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 15711-15711 | Bathroom is a subclass of room |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bathroom "浴室") | domainEnglishFormat.kif 10190-10190 | |
| (termFormat ChineseTraditionalLanguage Bathroom "浴室") | domainEnglishFormat.kif 10189-10189 | |
| (termFormat EnglishLanguage Bathroom "bathroom") | domainEnglishFormat.kif 10188-10188 | |
| (typicalPart Faucet Bathroom) | engineering.kif 936-936 | 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 15715-15720 |
|
| consequent |
|
|
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2195-2200 |
|
|
|
|