SwimmingPool - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SwimmingPool EnglishLanguage "A FluidContainer that is filled with Water and that is used for Swimming.")	Mid-level-ontology.kif 4791-4792
(externalImage SwimmingPool "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Mosul_swimming.jpg")	pictureList.kif 4832-4832
(subclass SwimmingPool FluidContainer)	Mid-level-ontology.kif 4789-4789
(subclass SwimmingPool StationaryArtifact)	Mid-level-ontology.kif 4790-4790

appearance as argument number 2

(subclass HeatedPool SwimmingPool)	Mid-level-ontology.kif 27918-27918
(termFormat ChineseLanguage SwimmingPool "游泳池")	domainEnglishFormat.kif 56566-56566
(termFormat ChineseTraditionalLanguage SwimmingPool "游泳池")	domainEnglishFormat.kif 56565-56565
(termFormat EnglishLanguage SwimmingPool "swimming pool")	domainEnglishFormat.kif 56564-56564

antecedent

(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater))	Mid-level-ontology.kif 4802-4807
(=> (instance ?P SwimmingPool) (hasPurpose ?P (exists (?S) (and (instance ?S Swimming) (eventLocated ?S ?P)))))	Mid-level-ontology.kif 4794-4800

consequent

(=>
    (attribute ?X WaterThemePark)
    (exists (?POOL)
        (and
            (instance ?POOL SwimmingPool)
            (element ?POOL
                (PropertyFn ?X)))))

naics.kif 11437-11442