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 26857-26859
(subclass HeatedPool SwimmingPool)	Mid-level-ontology.kif 26856-26856	HeatedPool est une sous-classe de SwimmingPool

appearance as argument number 2

(termFormat EnglishLanguage HeatedPool "heated pool")

Mid-level-ontology.kif 26860-26860

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 26862-26870