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 28469-28471
(subclass HeatedPool SwimmingPool)	Mid-level-ontology.kif 28468-28468	HeatedPool は SwimmingPool の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage HeatedPool "heated pool")

Mid-level-ontology.kif 28472-28472

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 28474-28482