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

KB Term:  Term intersection
English Word: 

Sigma KEE - Fruit
Fruit(fruit)

appearance as argument number 1
-------------------------


s__subclass(s__Fruit,s__FruitOrVegetable)

 Food.kif 2195-2195 Fruit is a subclass of fruit or vegetable
s__documentation(s__Fruit, s__EnglishLanguage, "Fruits comes from the flowering &part of a FloweringPlant and contain Seeds_ [Wikipedia]") Food.kif 2196-2197 Fruit is a subclass of fruit or vegetable
s__externalImage(s__Fruit,"http:
//articulatesoftware.com/SUMOpictures/small_icons/food/fruit_3.png")

 pictureList.kif 449-449 Fruit is a subclass of fruit or vegetable

appearance as argument number 2
-------------------------


s__subclass(s__WineGrape,s__Fruit)

 Economy.kif 5065-5065 Wine grape is a subclass of fruit
s__industryProductType(s__FruitFarming,s__Fruit)

 Economy.kif 6616-6616 Fruit is an industry product type of fruit farming
s__initialPart(s__Jam,s__Fruit)

 Food.kif 1767-1767 Every jam is initially part of a fruit
s__subclass(s__Apple,s__Fruit)

 Food.kif 2199-2199 Apple is a subclass of fruit
s__subclass(s__DateFruit,s__Fruit)

 Food.kif 2208-2208 Date fruit is a subclass of fruit
s__subclass(s__PearFruit,s__Fruit)

 Food.kif 2213-2213 Pear fruit is a subclass of fruit
s__subclass(s__Berry,s__Fruit)

 Food.kif 2218-2218 Berry is a subclass of fruit
s__subclass(s__Avocado,s__Fruit)

 Food.kif 2301-2301 Avocado is a subclass of fruit
s__subclass(s__Tomato,s__Fruit)

 Food.kif 2306-2306 Tomato is a subclass of fruit
s__subclass(s__Grape,s__Fruit)

 Food.kif 2308-2308 Grape is a subclass of fruit
s__subclass(s__Melon,s__Fruit)

 Food.kif 2310-2310 Melon is a subclass of fruit
s__subclass(s__Olive,s__Fruit)

 Food.kif 2314-2314 Olive is a subclass of fruit
s__subclass(s__CitrusFruit,s__Fruit)

 Food.kif 2345-2345 Citrus fruit is a subclass of fruit
s__subclass(s__TropicalFruit,s__Fruit)

 Food.kif 2384-2384 Tropical fruit is a subclass of fruit
s__subclass(s__Peach,s__Fruit)

 Food.kif 2787-2787 Peach is a subclass of fruit
s__subclass(s__Strawberry,s__Fruit)

 Food.kif 3518-3518 Strawberry is a subclass of fruit
s__subclass(s__TamarindFruit,s__Fruit)

 Food.kif 3524-3524 Tamarind fruit is a subclass of fruit
s__termFormat(s__EnglishLanguage, s__Fruit, "fruit") domainEnglishFormat.kif 25114-25114 Tamarind fruit is a subclass of fruit
s__termFormat(s__ChineseTraditionalLanguage, s__Fruit, "水果") domainEnglishFormat.kif 25115-25115 Tamarind fruit is a subclass of fruit
s__termFormat(s__ChineseLanguage, s__Fruit, "水果") domainEnglishFormat.kif 25116-25116 Tamarind fruit is a subclass of fruit

antecedent
-------------------------


! [V__CLASS] :
(((s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Object))
     =>
     ((s__subclass(V__CLASS,s__Fruit) &
         (V__CLASS = s__Cucumber))
         =>
         s__initialPart(V__CLASS,s__CucumberPlant)))
     )

 Economy.kif 4555-4559 If X is a subclass of fruit and equal X and cucumber, then every X is initially part of a cucumber plant
! [V__CLASS] :
(((s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Object))
     =>
     ((s__subclass(V__CLASS,s__Fruit) &
         (V__CLASS = s__Eggplant))
         =>
         s__initialPart(V__CLASS,s__EggplantPlant)))
     )

 Economy.kif 4609-4613 If X is a subclass of fruit and equal X and eggplant, then every X is initially part of a eggplant
! [V__O,V__S] :
(((s__instance(V__O,s__Class) &
       s__subclass(V__O,s__Object) &
       s__instance(V__S,s__Class) &
       s__subclass(V__S,s__Object) &
       s__subclass(V__S,s__OrganicObject))
     =>
     (((V__O = s__OrganicObjectFn(V__S))
       &
       s__subclass(V__O,s__OilFromPlant) &
       (s__subclass(V__S,s__Seed) |
         s__subclass(V__S,s__Fruit)))
     =>
     (? [V__P] :
       ((s__instance(V__P,s__Class) &
           s__subclass(V__P,s__Object) &
           (s__subclass(V__P,s__FloweringPlant) &
             s__initialPart(V__S,V__P)))))))
)

 Economy.kif 4865-4876 If equal X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z

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


! [V__H,V__O] :
(((s__instance(V__H,s__Hulling) &
       s__patient(V__H,V__O))
   =>
   (s__instance(V__O,s__Seed) |
     s__instance(V__O,s__Fruit)))
)

 Food.kif 174-180 If X is an instance of hulling and Y is a patient of X, then Y is an instance of seed or Y is an instance of fruit
! [V__J] :
((s__instance(V__J,s__Jam) =>
     (? [V__B,V__F,V__S] :
       ((s__instance(V__B,s__Boiling) &
           s__patient(V__B,V__F)
         &
         s__instance(V__F,s__Fruit) &
         s__patient(V__B,V__S)
       &
       s__instance(V__S,s__Sugar) &
       s__result(V__B,V__J)))))
)

 Food.kif 1773-1782 If X is an instance of jam, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of boiling (3) Z is a patient of Y (4) Z is an instance of fruit (5) W is a patient of Y (6) W is an instance of sugar (7) X is a result of Y
! [V__S] :
((s__instance(V__S,s__Schnapps) =>
     (? [V__D,V__F] :
       ((s__instance(V__D,s__Distilling) &
           s__instance(V__F,s__Fruit) &
           s__resource(V__D,V__F)
         &
         s__result(V__D,V__S)))))
)

 Food.kif 3403-3410 If X is an instance of schnapps, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of fruit, Z is a resource for Y, and X is a result of Y
! [V__S] :
((s__instance(V__S,s__Sorbet) =>
     s__material(s__Fruit,V__S))
)

 Food.kif 3484-3486 If X is an instance of sorbet, then X is made of fruit


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners