Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5409-5416	如果有点客体 equal OrganicObjectFn 有点有机物体和有点客体是 Softwood 的 subclass 和有点有机物体是 PlantStem 的 subclass，然后 %每个那个有点有机物体是 Conifers 的 initially part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6555-6555	Conifers 是 EvergreenTree 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6559-6559	松树是 Conifers 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6570-6570	CedarTree 是 Conifers 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6575-6575	CypressTree 是 Conifers 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6582-6582	FirTree 是 Conifers 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6587-6587	LarchTree 是 Conifers 的 subclass
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6592-6592	SpruceTree 是 Conifers 的 subclass