| Bathroom
| |
| 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 4538-4538 | |
| (subclass Bathroom Room) | Mid-level-ontology.kif 15711-15711 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bathroom "浴室") | domainEnglishFormat.kif 10185-10185 | |
| (termFormat ChineseTraditionalLanguage Bathroom "浴室") | domainEnglishFormat.kif 10184-10184 | |
| (termFormat EnglishLanguage Bathroom "bathroom") | domainEnglishFormat.kif 10183-10183 | |
| (typicalPart Faucet Bathroom) | engineering.kif 1250-1250 |
| 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 |
|
|
|