Sigma KB Term Intersection

(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1654-1660	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 10674-10674	Election is a subclass of organizational process
(subclass GeneralElection Election)	Government.kif 1668-1668	General election is a subclass of election