Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	例 Object and DurumWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell
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.	VirusProteinAndCellPart.kif 933-933	子類 TetraploidCell and SomaticCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 934-934	子類 TetraploidCell and Zygote