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 2050-2051 | |
(subclass BathTub BathingDevice) | Mid-level-ontology.kif 2048-2048 | BathTub est une sous-classe de BathingDevice |
(subclass BathTub FluidContainer) | Mid-level-ontology.kif 2049-2049 | BathTub est une sous-classe de FluidContainer |
appearance as argument number 2 |
(subclass GrecianTub BathTub) | Mid-level-ontology.kif 26526-26526 | GrecianTub est une sous-classe de BathTub |
(termFormat EnglishLanguage BathTub "tub") | Mid-level-ontology.kif 2052-2052 |
antecedent |
(=> (instance ?TUB BathTub) (hasPurpose ?TUB (exists (?WATER) (and (instance ?WATER Water) (contains ?TUB ?WATER))))) |
Mid-level-ontology.kif 2054-2060 |