Sigma KB Term Intersection

(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant))	Economy.kif 4277-4281	If a kind of object is a subclass of fruit and a kind of object is equal to eggplant, then every the kind of object is initially part of a EggplantPlant
(=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant))	Economy.kif 4223-4227	If a kind of object is a subclass of fruit and a kind of object is equal to cucumber, then every the kind of object is initially part of a cucumber plant
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P))))	Economy.kif 4532-4543	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit, then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object
(subclass Fruit FruitOrVegetable)	Food.kif 2175-2175	Fruit is a subclass of fruit or vegetable
(subclass Apple Fruit)	Food.kif 2179-2179	Apple is a subclass of fruit
(subclass DateFruit Fruit)	Food.kif 2188-2188	Date fruit is a subclass of fruit
(subclass PearFruit Fruit)	Food.kif 2193-2193	Pear fruit is a subclass of fruit
(subclass Berry Fruit)	Food.kif 2198-2198	Berry is a subclass of fruit
(subclass Avocado Fruit)	Food.kif 2281-2281	Avocado is a subclass of fruit
(subclass Tomato Fruit)	Food.kif 2286-2286	Tomato is a subclass of fruit
(subclass Grape Fruit)	Food.kif 2288-2288	Grape is a subclass of fruit
(subclass Melon Fruit)	Food.kif 2290-2290	Melon is a subclass of fruit
(subclass Olive Fruit)	Food.kif 2294-2294	Olive is a subclass of fruit
(subclass CitrusFruit Fruit)	Food.kif 2325-2325	Citrus fruit is a subclass of fruit
(subclass TropicalFruit Fruit)	Food.kif 2364-2364	Tropical fruit is a subclass of fruit
(subclass Peach Fruit)	Food.kif 2758-2758	Peach is a subclass of fruit
(subclass Strawberry Fruit)	Food.kif 3481-3481	Strawberry is a subclass of fruit
(subclass TamarindFruit Fruit)	Food.kif 3487-3487	Tamarind fruit is a subclass of fruit
(subclass WineGrape Fruit)	Economy.kif 4730-4730	Wine grape is a subclass of fruit

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners