Bathing
|
|
appearance as argument number 1 |
(documentation Bathing EnglishLanguage "Washing the entire body of a Human or Animal.") | Mid-level-ontology.kif 8859-8859 | |
(externalImage Bathing "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Mussbach_Badender.jpg") | pictureList.kif 4538-4538 | |
(subclass Bathing Washing) | Mid-level-ontology.kif 8858-8858 | Bathing est une sous-classe de Washing |
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 8861-8865 |
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 8872-8880 | |
(=> (instance ?X SteamBath) (hasPurpose ?X (exists (?BATH) (and (instance ?BATH Bathing) (eventLocated ?BATH ?X))))) |
Mid-level-ontology.kif 26803-26809 |