| (=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1692-1698 |
|
| (subclass Election OrganizationalProcess) | Merge.kif 10551-10551 | Election ist eine teilkategorie von OrganizationalProcess |
| (subclass GeneralElection Election) | Government.kif 1706-1706 | GeneralElection ist eine teilkategorie von Election |
|
|