HotTub(hot tub) | hot_tub |
appearance as argument number 1 |
(documentation HotTub EnglishLanguage "HotTub refers to a WhirlpoolTub that is capable of heating the water located in it") | Mid-level-ontology.kif 25358-25359 | |
(subclass HotTub WhirlpoolTub) | Mid-level-ontology.kif 25357-25357 | Hot tub is a subclass of whirlpool tub |
appearance as argument number 2 |
(termFormat EnglishLanguage HotTub "hot tub") | Mid-level-ontology.kif 25360-25360 |
antecedent |
(=> (and (instance ?X HotTub) (located ?WATER ?X) (instance ?WATER Water)) (modalAttribute (exists (?HEAT) (and (instance ?HEAT Heating) (instrument ?HEAT ?X) (patient ?HEAT ?WATER))) Possibility)) |
Mid-level-ontology.kif 25362-25372 |
|