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

Formal Language: 


KB Term:  Term intersection
English Word: 

  SwimmingPool

Sigma KEE - SwimmingPool
SwimmingPool(swimming pool)
natatorium, swimming_bath, swimming_pool

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 5179-5180
(externalImage SwimmingPool "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Mosul_swimming.jpg") pictureList.kif 4832-4832
(subclass SwimmingPool FluidContainer) Mid-level-ontology.kif 5177-5177 Swimming pool is a subclass of fluid container
(subclass SwimmingPool StationaryArtifact) Mid-level-ontology.kif 5178-5178 Swimming pool is a subclass of stationary artifact

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


(subclass HeatedPool SwimmingPool) Mid-level-ontology.kif 28722-28722 Heated pool is a subclass of swimming pool
(termFormat ChineseLanguage SwimmingPool "游泳池") domainEnglishFormat.kif 56537-56537 Heated pool is a subclass of swimming pool
(termFormat ChineseTraditionalLanguage SwimmingPool "游泳池") domainEnglishFormat.kif 56536-56536 Heated pool is a subclass of swimming pool
(termFormat EnglishLanguage SwimmingPool "swimming pool") domainEnglishFormat.kif 56535-56535 Heated pool is a subclass of swimming pool

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


(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F FreshWater))
Mid-level-ontology.kif 5190-5195
(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 5182-5188

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


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


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

Show without tree


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