Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4277-4281	Objet est une sous-classe de Fruit objet est Eggplant initialPart objet and EggplantPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4223-4227	Objet est une sous-classe de Fruit objet est Cucumber initialPart objet and CucumberPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	Objet est OrganicObjectFn objet objet est une sous-classe de OilFromPlant objet est une sous-classe de Seed objet est une sous-classe de Fruit objet objet est une sous-classe de plant florissante initialPart objet and objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 2175-2175	Fruit est une sous-classe de fruit ou v�g�tal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2179-2179	Apple est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2188-2188	DateFruit est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2193-2193	PearFruit est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2198-2198	Berry est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2281-2281	Avocado est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2286-2286	Tomato est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2288-2288	Grape est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2290-2290	Melon est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2294-2294	Olive est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2325-2325	CitrusFruit est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2364-2364	TropicalFruit est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2758-2758	Peach est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3481-3481	Strawberry est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3487-3487	TamarindFruit est une sous-classe de Fruit
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4730-4730	WineGrape est une sous-classe de 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