|
|
  holidayTimeInArea
|
|
|
| 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 |
| 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 |
| antecedent |
|
|
| (=> (instance ?B Bathroom) (exists (?W) (and (instance ?W WashBasin) (located ?W ?B)))) |
Mid-level-ontology.kif 15524-15529 |
| consequent |
|
|
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2195-2200 |
|
|
|
