| WellnessDaySpa(wellness spa) | | fat_farm, pump_room, spa, watering_hole, watering_place |
| appearance as argument number 1 |
|
|
| (documentation WellnessDaySpa EnglishLanguage "WellnessDaySpa refers to a type of FitnessAndRecreationalSportsCenters that offer services for relaxation such as facials or massages") | Hotel.kif 2326-2328 | |
| (subAttribute WellnessDaySpa FitnessAndRecreationalSportsCenters) | Hotel.kif 2325-2325 | Wellness spa is a subattribute of fitness and recreational sports centers |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WellnessDaySpa "wellness spa") | Hotel.kif 2329-2329 |
| antecedent |
|
|
| (=> (attribute ?X WellnessDaySpa) (hasPurpose ?X (exists (?MASSAGE) (and (instance ?MASSAGE Massaging) (agent ?MASSAGE ?X))))) |
Hotel.kif 2331-2337 |
|
|
|
|