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 4440-4441
(externalImage SwimmingPool "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Mosul-swimming.jpg") pictureList.kif 4834-4834
(subclass SwimmingPool FluidContainer) Mid-level-ontology.kif 4438-4438
(subclass SwimmingPool StationaryArtifact) Mid-level-ontology.kif 4439-4439

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


(subclass HeatedPool SwimmingPool) Mid-level-ontology.kif 25842-25842
(termFormat ChineseLanguage SwimmingPool "游泳池") domainEnglishFormat.kif 56512-56512
(termFormat ChineseTraditionalLanguage SwimmingPool "游泳池") domainEnglishFormat.kif 56511-56511
(termFormat EnglishLanguage SwimmingPool "swimming pool") domainEnglishFormat.kif 56510-56510

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


(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 4451-4456
(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 4443-4449

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


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


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