SugarCane - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SugarCane Vegetable)	Economy.kif 4685-4685	Sugar cane is a subclass of vegetable
(externalImage SugarCane "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 29/ Cut_sugarcane.jpg/ 800px_Cut_sugarcane.jpg")	pictureList.kif 1457-1457	Sugar cane is a subclass of vegetable

appearance as argument number 2

(termFormat EnglishLanguage SugarCane "sugar cane")	domainEnglishFormat.kif 55970-55970
(termFormat ChineseTraditionalLanguage SugarCane "甘蔗")	domainEnglishFormat.kif 55971-55971
(termFormat ChineseLanguage SugarCane "甘蔗")	domainEnglishFormat.kif 55972-55972

consequent

(=>
    (instance ?R Rum)
    (exists (?D ?S)
        (and
            (instance ?D Distilling)
            (instance ?S SugarCane)
            (resource ?D ?S)
            (result ?D ?R))))

If X is an instance of rum, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of sugar cane, Z is a resource for Y, and X is a result of Y