Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	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 softwood 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 conifers has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6555-6555	Conifers is a subclass of evergreen tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6559-6559	Pine tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6570-6570	Cedar tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6575-6575	Cypress tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6582-6582	Fir tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6587-6587	Larch tree is a subclass of conifers
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6592-6592	Spruce tree is a subclass of conifers