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

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


(subclass HeatedPool SwimmingPool) Mid-level-ontology.kif 24529-24529
(termFormat EnglishLanguage SwimmingPool "swimming pool") domainEnglishFormat.kif 9851-9851

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


(=>
    (and
        (instance ?P SwimmingPool)
        (contains ?P ?F)
        (instance ?F Fluid))
    (instance ?F Water))
Mid-level-ontology.kif 5052-5057
(=>
    (instance ?P SwimmingPool)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 5044-5050

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners