| BathTub(tub) | | bath, bathing_tub, bathtub, hip_bath, sitz_bath, tub |
| appearance as argument number 1 |
|
|
| (documentation BathTub EnglishLanguage "BathTub refers to a BathingDevice that you can fill with water to use to watch the body") | Mid-level-ontology.kif 2116-2117 | |
| (subclass BathTub BathingDevice) | Mid-level-ontology.kif 2114-2114 | Tub is a subclass of bathing device |
| (subclass BathTub FluidContainer) | Mid-level-ontology.kif 2115-2115 | Tub is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (subclass GrecianTub BathTub) | Mid-level-ontology.kif 27633-27633 | Grecian tub is a subclass of tub |
| (termFormat EnglishLanguage BathTub "tub") | Mid-level-ontology.kif 2118-2118 | Grecian tub is a subclass of tub |
| antecedent |
|
|
| (=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2120-2126 |
|
|
|
|