WellnessDaySpa |
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 2315-2317 | |
(subAttribute WellnessDaySpa FitnessAndRecreationalSportsCenters) | Hotel.kif 2314-2314 | WellnessDaySpa は FitnessAndRecreationalSportsCenters の subattribute では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage WellnessDaySpa "wellness spa") | Hotel.kif 2318-2318 |
antecedent |
(=> (attribute ?X WellnessDaySpa) (hasPurpose ?X (exists (?MASSAGE) (and (instance ?MASSAGE Massaging) (agent ?MASSAGE ?X))))) |
Hotel.kif 2320-2326 |