Sigma KB Term Intersection

(=> (and (instance ?AGENT Agent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1646-1652	If an agent is an instance of agent and the election of the agent is a subclass of election, then the agent is an instance of organization or the agent is an instance of geopolitical area
(subclass Election OrganizationalProcess)	Merge.kif 9932-9932	Election is a subclass of organizational process
(subclass GeneralElection Election)	Government.kif 1660-1660	General election is a subclass of election