(=>
(subAttribute ?ATTR1 ?ATTR2)
(forall (?OBJ)
(=>
(property ?OBJ ?ATTR1)
(property ?OBJ ?ATTR2)))) |
Merge.kif 681-686 |
If X is a subattribute of Y, then For all Entity Z: if Z the attribute X, then Z the attribute Y |
(=>
(and
(subAttribute ?ATTR1 ?ATTR2)
(instance ?ATTR2 ?CLASS))
(instance ?ATTR1 ?CLASS)) |
Merge.kif 688-692 |
If X is a subattribute of Y and Y is an instance of Z, then X is an instance of Z |
(=>
(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 |
(=>
(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
(organizationalObjective ?ORG ?AIM)
(subAttribute ?AIM ?OVERAIM))
(organizationalObjective ?ORG ?OVERAIM)) |
Government.kif 2594-2598 |
If X is an organizational objective of Y and X is a subattribute of Z, then Z is an organizational objective of Y |
(=>
(and
(diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
(subAttribute ?ROLE DiplomaticAgent))
(exists (?PERSON)
(and
(instance ?PERSON Human)
(citizen ?PERSON ?COUNTRY1)
(diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4574-4582 |
If X diplomatic representation type Y for Z and Y is a subattribute of diplomatic agent, then there exists W such that W is an instance of human, W is a citizen of X, and X is diplomatic representative in role W for Y with Z |
(=>
(and
(instance ?SENDER Nation)
(instance ?RECEIVER Nation)
(instance ?PERSON Human)
(attribute ?PERSON ?ROLE)
(subAttribute ?ROLE DiplomaticAgent)
(representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER))
(diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER)) |
Government.kif 4613-4621 |
If All of the following hold: (1) X is an instance of nation (2) Y is an instance of nation (3) Z is an instance of human (4) W is an attribute of Z (5) W is a subattribute of diplomatic agent (6) X is representative agent to agent Z for Y, then X diplomatic representation type W for Y |
