|
|
   HotTub
|
|
|
| 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 25300-25301 | |
| (subclass HotTub WhirlpoolTub) | Mid-level-ontology.kif 25299-25299 | HotTub è una sottoclasse di WhirlpoolTub |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotTub "hot tub") | Mid-level-ontology.kif 25302-25302 |
| 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 25304-25314 |
|
|
|
|