Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6393-6404	If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf, then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 2184-2186	If a kind of plant is equal to plant fn apple, then a kind of plant is a subclass of deciduous tree
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.	Geography.kif 6388-6388	Deciduous tree is a subclass of botanical tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6479-6479	Balsa tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6484-6484	Beech tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6489-6489	Birch tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6494-6494	Black cherry tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6499-6499	Sweet cherry tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6503-6503	Maple tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6507-6507	Okoume tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6512-6512	Poplar tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6516-6516	Cottonwood tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6519-6519	Aspen tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6522-6522	Red oak tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6526-6526	Sapele tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6531-6531	Walnut tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6536-6536	White oak tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6541-6541	Willow tree is a subclass of deciduous tree

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