Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SwimmingPool
SwimmingPool(游泳池)

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 4723-4724
(externalImage SwimmingPool "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Mosul-swimming.jpg") pictureList.kif 4833-4833
(subclass SwimmingPool FluidContainer) Mid-level-ontology.kif 4721-4721 游泳池液体容器subclass
(subclass SwimmingPool StationaryArtifact) Mid-level-ontology.kif 4722-4722 游泳池固定人工制品subclass

appearance as argument number 2
-------------------------


(subclass HeatedPool SwimmingPool) Mid-level-ontology.kif 26823-26823 HeatedPool游泳池subclass
(termFormat ChineseLanguage SwimmingPool "游泳池") domainEnglishFormat.kif 56533-56533
(termFormat ChineseTraditionalLanguage SwimmingPool "游泳池") domainEnglishFormat.kif 56532-56532
(termFormat EnglishLanguage SwimmingPool "swimming pool") domainEnglishFormat.kif 56531-56531

antecedent
-------------------------


(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))
Mid-level-ontology.kif 4734-4739
(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 4726-4732

consequent
-------------------------


(=>
    (attribute ?X WaterThemePark)
    (exists (?POOL)
        (and
            (instance ?POOL SwimmingPool)
            (element ?POOL
                (PropertyFn ?X)))))
naics.kif 11437-11442


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners