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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SwimmingPool

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 SwimmingPoolFluidContainersubclass では %n
(subclass SwimmingPool StationaryArtifact) Mid-level-ontology.kif 4722-4722 SwimmingPool固定アーチファクトsubclass では %n

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


(subclass HeatedPool SwimmingPool) Mid-level-ontology.kif 26823-26823 HeatedPoolSwimmingPoolsubclass では %n
(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 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