GovernmentFn |
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA))) |
Government.kif 1562-1564 | |
(=> (chiefOfState ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON Leader (GovernmentFn ?AREA))) |
Government.kif 1566-1568 | |
(=> (headOfGovernment ?AREA ?POSITION ?PERSON) (occupiesPosition ?PERSON ?POSITION (GovernmentFn ?AREA))) |
Government.kif 1615-1617 | |
(=> (hostileForces ?U1 ?U2) (exists (?WAR ?A1 ?A2) (and (instance ?WAR War) (contestParticipant ?WAR ?A1) (contestParticipant ?WAR ?A2) (subOrganization ?U1 (GovernmentFn ?A1)) (subOrganization ?U2 (GovernmentFn ?A2))))) |
Mid-level-ontology.kif 8427-8435 | |
(=> (instance ?AREA ParliamentaryTerritory) (governmentType (GovernmentFn ?AREA) ParliamentaryGovernment)) |
Government.kif 527-529 | |
(=> (instance ?COUNTRY Nation) (instance (GovernmentFn ?COUNTRY) NationalGovernment)) |
Government.kif 117-119 |