Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4066-4069	等於 Plant and PlantFn CommonWheatGrain 子類 Plant and CommonWheatGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3963-3968	例 Object and CommonWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3955-3955	子類 CommonWheatGrass and WheatGrass