BathTub |
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 | BathTub 是 洗澡装置 的 subclass |
(subclass BathTub FluidContainer) | Mid-level-ontology.kif 2042-2042 | BathTub 是 液体容器 的 subclass |
appearance as argument number 2 |
(subclass GrecianTub BathTub) | Mid-level-ontology.kif 26571-26571 | GrecianTub 是 BathTub 的 subclass |
(termFormat EnglishLanguage BathTub "tub") | Mid-level-ontology.kif 2045-2045 |
antecedent |
(=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2047-2053 |