HeatedPool - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HeatedPool EnglishLanguage "HeatedPool is a type of SwimmingPool that has HotWaterHeater so that the FreshWater in the pool is constantly kept at a certain warm temperature")	Mid-level-ontology.kif 28482-28484
(subclass HeatedPool SwimmingPool)	Mid-level-ontology.kif 28481-28481	Heated pool is a subclass of swimming pool

appearance as argument number 2

(termFormat EnglishLanguage HeatedPool "heated pool")

Mid-level-ontology.kif 28485-28485

antecedent

(=>
    (and
        (instance ?X HeatedPool)
        (contains ?X ?WATER)
        (instance ?WATER FreshWater)
        (part ?X ?HEATER)
        (instance ?HEATER WaterHeater)
        (attribute ?HEATER DeviceOn))
    (attribute ?WATER WarmTemperature))

Mid-level-ontology.kif 28487-28495