(=>
(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 |
(=>
(attribute ?PERSON Monarch)
(exists (?PLACE)
(and
(instance ?PLACE GeopoliticalArea)
(governmentType ?PLACE Monarchy)
(chiefOfState ?PLACE Monarch ?PERSON)))) |
Government.kif 1334-1340 |
If monarch is an attribute of X, then there exists Y such that Y is an instance of geopolitical area, monarchy is a government type of Y, and Y chief of state monarch for X |
(=>
(instance ?C Coronation)
(exists (?PERSON ?PLACE)
(and
(instance ?PERSON Human)
(patient ?C ?PERSON)
(instance ?PLACE GeopoliticalArea)
(holdsDuring
(BeginFn
(WhenFn ?C))
(not
(chiefOfState ?PLACE Monarch ?PERSON)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(chiefOfState ?PLACE Monarch ?PERSON))))) |
Government.kif 1346-1361 |
If X is an instance of coronation, then there exist Y, Z such that Y is an instance of human, Y is a patient of X, Z is an instance of geopolitical area, Z doesn't chief of state monarch for Y holds during the beginning of the time of existence of X, and Z chief of state monarch for Y holds during immediately after the time of existence of X |
(=>
(attribute ?Q QueenConsort)
(exists (?KING ?PLACE)
(and
(chiefOfState ?PLACE King ?KING)
(spouse ?KING ?Q)))) |
Government.kif 1386-1391 |
If Queen consort is an attribute of X, then there exist Y, Z such that Z chief of state king for Y, and Y is the spouse of X |
(=>
(attribute ?P PrinceConsort)
(exists (?QUEEN ?PLACE)
(and
(chiefOfState ?PLACE QueenRegnant ?QUEEN)
(spouse ?QUEEN ?P)))) |
Government.kif 1397-1402 |
If prince consort is an attribute of X, then there exist Y, Z such that Z chief of state Queen regnant for Y, and Y is the spouse of X |
(=>
(instance ?RESIDENCE ExecutiveResidence)
(exists (?AREA ?POSITION ?PERSON)
(and
(located ?RESIDENCE ?AREA)
(home ?PERSON ?RESIDENCE)
(chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1513-1519 |
If X is an instance of executive residence, then there exist Y, Z, W such that X is located at Y, the home of W is X, and Y chief of state Z for W |
chiefOfState