Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3993-3998	例 Object and SpeltWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
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.	VirusProteinAndCellPart.kif 986-986	子類 HexaploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 987-987	子類 HexaploidCell and Zygote