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 SwimmingPool est une sous-classe de FluidContainer
(subclass SwimmingPool StationaryArtifact) Mid-level-ontology.kif 4722-4722 SwimmingPool est une sous-classe de artefact stationnaire

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


(subclass HeatedPool SwimmingPool) Mid-level-ontology.kif 26823-26823 HeatedPool est une sous-classe de SwimmingPool
(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