Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	子類 Process and Process 例 Process and Process Process 是 located 在 Region 例 CaseRole and CaseRole 例 Object and Object 例 Region and GeographicArea CaseRole Process and Object Process capable 在地點 CaseRole 對於 Object 跟 Region 在一起
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3910-3916	例 CaseRole and CaseRole CaseRole Entity and Object 例 Entity and Process 子類 Process and Process 能力 Process, CaseRole and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2400-2400	子類 CaseRole and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2401-2401	子類 CaseRole and 可繼承的關係
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2402-2402	子類 CaseRole and AsymmetricRelation