Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Bathing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Bathing Washing) | Mid-level-ontology.kif 10226-10226 | Bathing is a subclass of washing |
| (documentation Bathing EnglishLanguage "Washing the entire body of a Human or Animal.") | Mid-level-ontology.kif 10227-10227 | Bathing is a subclass of washing |
| (externalImage Bathing "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Mussbach_Badender.jpg") | pictureList.kif 4537-4537 | Bathing is a subclass of washing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?B Bathing) (patient ?B ?A)) (instance ?A Animal)) |
Mid-level-ontology.kif 10229-10233 | If X is an instance of bathing and Y is a patient of X, then Y is an instance of animal |
| 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 10240-10248 | If X is an instance of bathing device, then X has the purpose there exist Y, Z such that Y is an instance of bathing, X is an instrument for Y, Z is a patient of Y, and Z is an instance of human |
| (=> (instance ?X SteamBath) (hasPurpose ?X (exists (?BATH) (and (instance ?BATH Bathing) (eventLocated ?BATH ?X))))) |
Mid-level-ontology.kif 29409-29415 | If X is an instance of steam bath, then X has the purpose there exists Y such that Y is an instance of bathing and Y is located at X |
|
