Sigma KB Term Intersection

(=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea)))	Government.kif 1656-1662	AutonomousAgent は AutonomousAgent の instance では %n ElectionFn AutonomousAgent は Election の subclass では %n AutonomousAgent は組織の instance では %n AutonomousAgent は地政学的地域の instance では %n
(subclass Election OrganizationalProcess)	Merge.kif 10585-10585	Election は組織プロセスの subclass では %n
(subclass GeneralElection Election)	Government.kif 1670-1670	GeneralElection は Election の subclass では %n