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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 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


        (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)
                (instance ?S Swimming)
                (eventLocated ?S ?P)))))
Mid-level-ontology.kif 5044-5050


    (attribute ?X WaterThemePark)
    (exists (?POOL)
            (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