WaterThemePark
|
|
appearance as argument number 1 |
(documentation WaterThemePark EnglishLanguage "WaterThemePark is an AmusementAndThemeParks that features waterplay areas, such as water slides, splash pads, spraygrounds, and swimming pools") | naics.kif 11432-11434 | |
(subAttribute WaterThemePark AmusementAndThemeParks) | naics.kif 11431-11431 | WaterThemePark 是 娱乐和主题公园 的 subAttribute |
appearance as argument number 2 |
(termFormat EnglishLanguage WaterThemePark "water theme park") | naics.kif 11435-11435 |
antecedent |
(=> (attribute ?X WaterThemePark) (exists (?POOL) (and (instance ?POOL SwimmingPool) (element ?POOL (PropertyFn ?X))))) |
naics.kif 11437-11442 |
consequent |
(=> (instance ?T WaterParkTicket) (exists (?ORG) (and (attribute ?ORG WaterThemePark) (issuedBy ?T ?ORG)))) |
naics.kif 11449-11454 |
|