|
|
  IndependentMultipole
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Bathing EnglishLanguage "Washing the entire body of a Human or Animal.") | Mid-level-ontology.kif 8887-8887 | |
| (externalImage Bathing "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Mussbach_Badender.jpg") | pictureList.kif 4538-4538 | |
| (subclass Bathing Washing) | Mid-level-ontology.kif 8886-8886 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bathing "洗澡") | domainEnglishFormat.kif 10170-10170 | |
| (termFormat ChineseTraditionalLanguage Bathing "洗澡") | domainEnglishFormat.kif 10169-10169 | |
| (termFormat EnglishLanguage Bathing "bathing") | domainEnglishFormat.kif 10168-10168 |
| antecedent |
|
|
| (=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 8889-8893 |
| consequent |
|
|
| (=> (instance ?BD BathingDevice) (hasPurpose ?BD (exists (?B ?P) (and (instance ?B Bathing) (instrument ?B ?BD) (patient ?B ?P) (instance ?P Human))))) |
Mid-level-ontology.kif 8900-8908 | |
| (=> (instance ?X SteamBath) (hasPurpose ?X (exists (?BATH) (and (instance ?BATH Bathing) (eventLocated ?BATH ?X))))) |
Mid-level-ontology.kif 26848-26854 |
|
|
|
