Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Apple

 Sigma KEE - Apple
Apple(apple)
Baldwin, Bramley's_Seedling, Cortland, Cox's_Orange_Pippin, Delicious, Empire, Golden_Delicious, Granny_Smith, Grimes'_golden, Jonathan, Lane's_Prince_Albert, Macoun, McIntosh, Newtown_Wonder, Northern_Spy, Pearmain, Pippin, Prima, Red_Delicious, Rome_Beauty, Stayman, Stayman_Winesap, Winesap, Yellow_Delicious, apple, cooking_apple, crab_apple, crabapple, dessert_apple, eating_apple

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))		 Food.kif 2204-2206 If equal X and plant fn apple, then X is a subclass of deciduous tree

consequent
-------------------------


(=>
    (instance ?C Cider)
    (exists (?F ?A)
        (and
            (instance ?F Fermentation)
            (instance ?A
                (JuiceOfFn Apple))
            (resource ?F ?A)
            (result ?F ?C))))		 Society.kif 1194-1201 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