Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5278-5278	Hardwood is a subclass of wood product
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5293-5293	Balsa wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5303-5303	Beech wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5313-5313	Birch wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5323-5323	Cherry wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5335-5335	Maple wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5345-5345	Okoume wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5355-5355	Poplar wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5365-5365	Red oak wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5375-5375	Sapele wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5385-5385	Walnut wood is a subclass of hardwood
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5395-5395	White oak wood is a subclass of hardwood

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