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 26812-26814
(subclass HeatedPool SwimmingPool)	Mid-level-ontology.kif 26811-26811	HeatedPool は SwimmingPool の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage HeatedPool "heated pool")

Mid-level-ontology.kif 26815-26815

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 26817-26825