WaterThemePark - Sigma Knowledge base Browser

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	Water theme park is a subattribute of amusement and theme parks

appearance as argument number 2

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