|
|
   Toilet
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Toilet EnglishLanguage "A Device for the disposal of wastes resulting from urination and defecation.") | Mid-level-ontology.kif 2192-2193 | |
| (externalImage Toilet "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_7/ toilet_2.png") | pictureList.kif 783-783 | |
| (subclass Toilet Device) | Mid-level-ontology.kif 2191-2191 | 子類 廁所 and Device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Toilet "厕所") | domainEnglishFormat.kif 58336-58336 | |
| (termFormat ChineseTraditionalLanguage Toilet "廁所") | domainEnglishFormat.kif 58335-58335 | |
| (termFormat EnglishLanguage Toilet "toilet") | domainEnglishFormat.kif 58334-58334 |
| antecedent |
|
|
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R Bathroom)) |
Mid-level-ontology.kif 2195-2200 | |
| (=> (instance ?X Toilet) (hasPurpose ?X (exists (?PROC) (and (or (instance ?PROC Defecation) (instance ?PROC Urination)) (destination ?PROC ?X))))) |
Mid-level-ontology.kif 2202-2210 |
|
|
|
