Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Government.kif 1692-1698	如果施事体是施事体的 instance 和那个施事体的 election 是选举的 subclass，然后那个施事体是机构的 instance 或那个施事体是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10551-10551	选举是机构性过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Government.kif 1706-1706	全民选举是选举的 subclass