TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CoolingDevice Device)	Mid-level-ontology.kif 2881-2881	Cooling device is a subclass of device
(documentation CoolingDevice EnglishLanguage "A Device whose purpose is Cooling something, e.g. air conditioners, refrigerators, freezers, etc.")	Mid-level-ontology.kif 2882-2883	Cooling device is a subclass of device

appearance as argument number 2

(subclass FanDevice CoolingDevice)	Mid-level-ontology.kif 2892-2892	Fan device is a subclass of cooling device
(subclass Refrigerator CoolingDevice)	Mid-level-ontology.kif 2941-2941	Refrigerator is a subclass of cooling device
(subclass RefrigerationAppliance CoolingDevice)	HouseholdAppliances.kif 788-788	Refrigeration appliance is a subclass of cooling device
(subclass Freezer CoolingDevice)	Society.kif 629-629	Freezer is a subclass of cooling device
(subclass AirConditioner CoolingDevice)	Society.kif 637-637	Air conditioner is a subclass of cooling device
(subclass IceCreamMaker CoolingDevice)	Society.kif 752-752	IceCreamMaker is a subclass of cooling device
(termFormat EnglishLanguage CoolingDevice "cooling device")	domainEnglishFormat.kif 17178-17178	IceCreamMaker is a subclass of cooling device
(termFormat ChineseTraditionalLanguage CoolingDevice "冷卻裝置")	domainEnglishFormat.kif 17179-17179	IceCreamMaker is a subclass of cooling device
(termFormat ChineseLanguage CoolingDevice "冷却装置")	domainEnglishFormat.kif 17180-17180	IceCreamMaker is a subclass of cooling device

antecedent

(=>
    (instance ?D CoolingDevice)
    (hasPurpose ?D
        (exists (?C)
            (and
                (instance ?C Cooling)
                (instrument ?C ?D)))))

If X is an instance of cooling device, then X has the purpose there exists Y such that Y is an instance of cooling and X is an instrument for Y