IceCreamMaker - Sigma Knowledge base Browser

appearance as argument number 1

(subclass IceCreamMaker ElectricDevice)	Society.kif 751-751	IceCreamMaker is a subclass of electric device
(subclass IceCreamMaker CoolingDevice)	Society.kif 752-752	IceCreamMaker is a subclass of cooling device
(subclass IceCreamMaker HomeAppliance)	Society.kif 753-753	IceCreamMaker is a subclass of home appliance

antecedent

(=>
    (instance ?IM IceCreamMaker)
    (hasPurpose ?IM
        (exists (?FREEZ)
            (and
                (instance ?FREEZ Freezing)
                (instrument ?FREEZ ?IM)))))

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