| Shower(shower) | | shower |
| appearance as argument number 1 |
|
|
| (documentation Shower EnglishLanguage "Shower refers to a plumbing fixture that sprays water over you.") | Mid-level-ontology.kif 2488-2489 | |
| (subclass Shower BathingDevice) | Mid-level-ontology.kif 2487-2487 | Shower is a subclass of bathing device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Shower "shower") | Mid-level-ontology.kif 2490-2490 |
| antecedent |
|
|
| (=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above)))) |
Mid-level-ontology.kif 2500-2509 |
|
| (=> (instance ?SHOWER Shower) (hasPurpose ?SHOWER (exists (?SPRAY) (and (instance ?SPRAY WaterMotion) (origin ?SPRAY ?SHOWER))))) |
Mid-level-ontology.kif 2492-2498 |
|
|
|
|