| 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 2043-2044 | |
| (subclass BathTub BathingDevice) | Mid-level-ontology.kif 2041-2041 | Tub is a subclass of bathing device |
| (subclass BathTub FluidContainer) | Mid-level-ontology.kif 2042-2042 | Tub is a subclass of fluid container |
| appearance as argument number 2 |
|
|
| (subclass GrecianTub BathTub) | Mid-level-ontology.kif 26802-26802 | Grecian tub is a subclass of tub |
| (termFormat EnglishLanguage BathTub "tub") | Mid-level-ontology.kif 2045-2045 | 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 2047-2053 |
|
|
|
|