TreeView Knowledge Base Browser

appearance as argument number 1

(subclass HeatedPool SwimmingPool)	Mid-level-ontology.kif 29417-29417	Heated pool is a subclass of swimming pool
(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 29418-29420	Heated pool is a subclass of swimming pool

appearance as argument number 2

(termFormat EnglishLanguage HeatedPool "heated pool")

antecedent

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

If All of the following hold: (1) X is an instance of heated pool (2) X contains Y (3) Y is an instance of freshwater (4) X is a part of Z (5) Z is an instance of water heater (6) device on is an attribute of Z, then warm is an attribute of Y