Sigma KB Term Intersection

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.	Economy.kif 4693-4699	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cocoa bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a cocoa tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of coffee bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a coffee plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4839-4843	If a kind of object is a subclass of seed and a kind of object is equal to clover, then every the kind of object is initially part of a clover plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15036-15036	Seed is a subclass of reproductive body
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15037-15037	Seed is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Food.kif 3391-3391	Sesame is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4026-4026	Cereal grain is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4112-4112	Pea is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4497-4497	Norfolk island pine seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4500-4500	Kentia palm seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4503	Sunflower seed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4509-4509	Oilseed is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4624-4624	Coffee bean is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4686-4686	Cocoa bean is a subclass of seed

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