Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 2324-2329	子類 ContentBearingObject and 黨的平台作者 AutonomousAgent and ContentBearingObject 例 AutonomousAgent and Organization 例 AutonomousAgent and 政治黨派
No TPTP formula. May not be expressible in strict first order.	Government.kif 2331-2338	子類 ContentBearingObject and 黨的平台作者 CognitiveAgent and ContentBearingObject 例 CognitiveAgent and 政治黨派例內容承載物理 and ContentBearingObject containsFormula 內容承載物理 and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 2250-2250	子類政治黨派 and PoliticalOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 2244-2244	子類政治聯盟 and 政治黨派
No TPTP formula. May not be expressible in strict first order.	Government.kif 2260-2260	子類共產黨 and 政治黨派