Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	例 Object and EmmerWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4086-4089	等於 Plant and PlantFn EmmerWheatGrain 子類 Plant and EmmerWheatGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3865-3865	子類 EmmerWheatGrass and WheatGrass