TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CowMilk Milk)	Food.kif 2870-2870	Cow milk is a subclass of milk
(documentation CowMilk EnglishLanguage "CowMilk is the Milk of Cows.")	Food.kif 2871-2871	Cow milk is a subclass of milk

appearance as argument number 2

(subclass ProcessedMilk CowMilk)	Food.kif 2857-2857	Processed milk is a subclass of cow milk
(termFormat EnglishLanguage CowMilk "cow milk")	Food.kif 2872-2872	Processed milk is a subclass of cow milk

consequent

(=>
    (instance ?PM ProcessedMilk)
    (exists (?P ?M)
        (and
            (instance ?P IntentionalProcess)
            (instance ?M CowMilk)
            (patient ?P ?M)
            (result ?P ?PM))))

If X is an instance of processed milk, then there exist Y, Z such that Y is an instance of intentional process, Z is an instance of cow milk, Z is a patient of Y, and X is a result of Y