Apple - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Apple Fruit)	Food.kif 2199-2199	Apple is a subclass of fruit
(subclass Apple (FoodForFn Animal))	Food.kif 2200-2200	Apple is a subclass of food for animal
(documentation Apple EnglishLanguage "A Fruit that has a tart to sweet taste and a spherical shape.")	Food.kif 2201-2202	Apple is a subclass of food for animal
(externalImage Apple "http://upload.wikimedia.org/wikipedia/commons/c/c1/ Fuji_apple.jpg")	pictureList.kif 28-28	Apple is a subclass of food for animal
(externalImage Apple "http://articulatesoftware.com/SUMOpictures/plants/ trees/ Apple_2.png")	pictureList.kif 231-231	Apple is a subclass of food for animal

appearance as argument number 2

(termFormat EnglishLanguage Apple "apple")	domainEnglishFormat.kif 7996-7996
(termFormat ChineseTraditionalLanguage Apple "蘋果")	domainEnglishFormat.kif 7997-7997
(termFormat ChineseLanguage Apple "苹果")	domainEnglishFormat.kif 7998-7998

antecedent

(=>
    (equal ?P
        (PlantFn Apple))
    (subclass ?P DeciduousTree))

consequent

(=>
    (instance ?C Cider)
    (exists (?F ?A)
        (and
            (instance ?F Fermentation)
            (instance ?A
                (JuiceOfFn Apple))
            (resource ?F ?A)
            (result ?F ?C))))

If X is an instance of cider, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of apple, Z is a resource for Y, and X is a result of Y

statement

(equal AppleOrchard
(FarmOfProductFn Apple))