Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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

(documentation Apple EnglishLanguage "A FruitOrVegetable that has a tart to sweet taste and a spherical shape.") Mid-level-ontology.kif 19382-19383
(externalImage Apple " Fuji_apple.jpg") pictureList.kif 28-28
(externalImage Apple " plants/ trees/ Apple_2.png") pictureList.kif 231-231
(subclass Apple
    (FoodForFn Animal))
Mid-level-ontology.kif 19381-19381
(subclass Apple Fruit) Economy.kif 3937-3937
(subclass Apple FruitOrVegetable) Mid-level-ontology.kif 19380-19380

appearance as argument number 2

(termFormat EnglishLanguage Apple "apple") domainEnglishFormat.kif 1767-1767


    (instance ?C Cider)
    (exists (?F ?A)
            (instance ?F Fermentation)
            (instance ?A
                (JuiceOfFn Apple))
            (resource ?F ?A)
            (result ?F ?C))))
Society.kif 1221-1228


(equal AppleOrchard
    (FarmOfProductFn Apple))
Food.kif 1148-1148
    (DeadFn Apple) GroceryProduce)
Economy.kif 3938-3938

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners