| Bathroom
| |
| appearance as argument number 1 |
|
|
| (documentation Bathroom EnglishLanguage "A Room that contains a WashBasin and possibly a Toilet.") | Mid-level-ontology.kif 16867-16868 | |
| (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 16866-16866 | Bathroom は 部屋 の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bathroom "浴室") | domainEnglishFormat.kif 10183-10183 | |
| (termFormat ChineseTraditionalLanguage Bathroom "浴室") | domainEnglishFormat.kif 10182-10182 | |
| (termFormat EnglishLanguage Bathroom "bathroom") | domainEnglishFormat.kif 10181-10181 | |
| (typicalPart Faucet Bathroom) | engineering.kif 1249-1249 | typicalPart Faucet and Bathroom |
| antecedent |
|
|
| (=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 16870-16875 |
| consequent |
|
|
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2665-2670 |
|
|
|