(=>
(governmentType ?AGENT ?TYPE)
(or
(instance ?AGENT Organization)
(instance ?AGENT GeopoliticalArea))) |
Government.kif 136-140 |
If X is a government type of Y, then Y is an instance of organization or Y is an instance of geopolitical area |
(=>
(and
(instance ?AREA GeopoliticalArea)
(governmentType ?AREA ?TYPE))
(attribute
(GovernmentFn ?AREA) ?TYPE)) |
Government.kif 142-146 |
If X is an instance of geopolitical area and Y is a government type of X, then Y is an attribute of the government of X |
(=>
(and
(governmentType ?PLACE Monarchy)
(instance ?MONARCH Human)
(instance ?SUCCESSOR Human)
(holdsDuring ?T1
(chiefOfState ?PLACE ?ROLE ?MONARCH))
(familyRelation ?MONARCH ?SUCCESSOR)
(earlier ?T1 ?T2))
(modalAttribute
(holdsDuring ?T2
(chiefOfState ?PLACE ?ROLE ?SUCCESSOR)) Possibility)) |
Government.kif 223-234 |
If All of the following hold: (1) monarchy is a government type of X (2) Y is an instance of human (3) Z is an instance of human (4) X chief of state W for Y holds during V (5) Y and Z are related (6) V happens earlier than U, then the statement X chief of state W for Z holds during U has the modal force of possibility |
(=>
(and
(governmentType ?PLACE AbsoluteMonarchy)
(instance ?PLACE GeopoliticalArea))
(leaderPosition ?PLACE Monarch)) |
Government.kif 242-246 |
If absolute monarchy is a government type of X and X is an instance of geopolitical area, then monarch is a leader position of X |
(=>
(and
(governmentType ?PLACE ?TYPE)
(instance ?PLACE GeopoliticalArea)
(subAttribute ?TYPE ParliamentaryGovernment))
(exists (?ORG)
(and
(instance ?ORG Parliament)
(subOrganization ?ORG
(GovernmentFn ?PLACE))))) |
Government.kif 256-264 |
If X is a government type of Y, Y is an instance of geopolitical area, and X is a subattribute of parliamentary government, then there exists Z such that Z is an instance of parliament and Z is a part of the organization the government of Y |
(=>
(governmentType ?PLACE MilitaryDictatorship)
(leaderPosition ?PLACE MilitaryCommander)) |
Government.kif 332-334 |
If military dictatorship is a government type of X, then military commander is a leader position of X |
(=>
(and
(governmentType ?AGENT ?TYPE)
(subAttribute ?TYPE TheocraticGovernment)
(instance ?AGENT Organization))
(instance ?AGENT ReligiousOrganization)) |
Government.kif 345-350 |
If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of organization, then Y is an instance of religious organization |
(=>
(and
(governmentType ?AGENT ?TYPE)
(subAttribute ?TYPE TheocraticGovernment)
(instance ?AGENT GeopoliticalArea))
(instance
(GovernmentFn ?AGENT) ReligiousOrganization)) |
Government.kif 352-357 |
If X is a government type of Y, X is a subattribute of theocratic government, and Y is an instance of geopolitical area, then the government of Y is an instance of religious organization |
(=>
(and
(instance ?COUNTRY Nation)
(governmentType ?COUNTRY Democracy))
(exists (?SUFFRAGE)
(and
(instance ?SUFFRAGE SuffrageLaw)
(subProposition ?SUFFRAGE
(RegionalLawFn ?COUNTRY))))) |
Government.kif 877-884 |
If X is an instance of nation and democracy is a government type of X, then there exists Y such that Y is an instance of suffrage law and Y is a sub-proposition of the regional law of X |
(=>
(and
(instance ?COUNTRY GeopoliticalArea)
(governmentType ?COUNTRY Democracy))
(subProposition VoterCitizenshipRequirement
(RegionalLawFn ?COUNTRY))) |
Government.kif 888-892 |
If X is an instance of geopolitical area and democracy is a government type of X, then voter citizenship requirement is a sub-proposition of the regional law of X |
