Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 2175-2175	Fruit is a subclass of fruit or vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 2179-2179	Apple is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2188-2188	Date fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2193-2193	Pear fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2198-2198	Berry is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2281-2281	Avocado is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2286-2286	Tomato is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2288-2288	Grape is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2290-2290	Melon is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2294-2294	Olive is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2325-2325	Citrus fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2364-2364	Tropical fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 2758-2758	Peach is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3481-3481	Strawberry is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	Food.kif 3487-3487	Tamarind fruit is a subclass of fruit
No TPTP formula. May not be expressible in strict first order.	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