| appearance as argument number 1 |
|
|
| (disjoint Nation Continent) | Geography.kif 4974-4974 | Nation is disjoint from continent |
| (subclass Nation GeopoliticalArea) | Merge.kif 14398-14398 | Nation is a subclass of geopolitical area |
| (subclass Nation LandArea) | Merge.kif 14399-14399 | Nation is a subclass of land area |
| (documentation Nation EnglishLanguage "The broadest GeopoliticalArea, i.e. Nations are GeopoliticalAreas that are not part of any other overarching and comprehensive governance structure (excepting commonwealths and other sorts of loose international organizations).") | Merge.kif 14400-14403 | Nation is a subclass of land area |
| (externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") | pictureList.kif 3357-3357 | Nation is a subclass of land area |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain inflationRateInCountry 1 Nation) | FinancialOntology.kif 1693-1693 | The number 1 argument of inflation rate in country is an instance of nation |
| (domain citizen 2 Nation) | Merge.kif 16950-16950 | The number 2 argument of citizen is an instance of nation |
| (domain StreetAddressFn 4 Nation) | Mid-level-ontology.kif 7665-7665 | The number 4 argument of street address is an instance of nation |
| (domain NationalAnthemFn 1 Nation) | Music.kif 956-956 | The number 1 argument of national anthem is an instance of nation |
| antecedent |
|
|
| (=> (and (attribute ?AREA CommunistState) (instance ?AREA Nation)) (economyType ?AREA CentrallyPlannedEconomy)) |
Economy.kif 865-869 | If communist state is an attribute of X and X is an instance of nation, then centrally planned economy is an economy type of X |
| (=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder)) |
Geography.kif 2180-2185 | If the border of X and Y is an instance of geographic area, X is an instance of nation, and Y is an instance of nation, then the border of X and Y is an instance of international border |
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 2536-2543 | If X is an instance of maritime shelf area, Y is an instance of continental shelf, Z is an instance of nation, Y meets Z, and Z is a claimed territory of X, then X and Y overlapsSpatially |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 3719-3724 | If X is a natural hazard type in area of Y, Y is a geographic subregion of Z, and Z is an instance of nation, then X is a natural hazard type in area of Z |
| (=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 8593-8597 | If X is an instance of all the instances of state or province in Y and Y is an instance of nation, then Y is a primary geopolitical subdivision of X |
| (=> (instance ?COUNTRY Nation) (instance (GovernmentFn ?COUNTRY) NationalGovernment)) |
Government.kif 117-119 | If X is an instance of nation, then the government of X is an instance of national government |
| (=> (and (instance ?COUNTRY Nation) (instance ?AREA (OverseasAreaFn ?COUNTRY))) (dependentAreaOfType ?AREA ?COUNTRY OverseasArea)) |
Government.kif 471-475 | If X is an instance of nation and Y is an instance of the overseas area of X, then Y dependent area of type X for overseas area |
| (=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (instance (WhenFn ?GOV) ?CLASS) (agreementEffectiveDuring ?CONST ?CLASS) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV)) |
Government.kif 736-745 | If All of the following hold: (1) X is an instance of the constitution of Y (2) Y is an instance of nation (3) equal Z and the government of Y (4) the time of existence of Z is an instance of W (5) W is an agreement effective during of X (6) V is a sub-proposition of X (7) U contains information V, then Z is obliged to perform tasks of type U |
| (=> (and (instance ?COUNTRY Nation) (governmentType ?COUNTRY Democracy)) (exists (?SUFFRAGE) (and (instance ?SUFFRAGE SuffrageLaw) (subProposition ?SUFFRAGE (RegionalLawFn ?COUNTRY))))) |
Government.kif 868-875 | 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 |
| (=> (instance ?COUNTRY Nation) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?COUNTRY))))) |
Government.kif 897-902 | If X is an instance of nation, then there exists Y such that Y is an instance of voter age requirement and Y is a sub-proposition of the regional law of X |
| (=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1418-1424 | If X is an instance of nation, Y is a leader of X, Z is an instance of position, and Y holds the position of Z in the government of X, then Z is a leader position of X |
| (=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE)) |
Government.kif 1427-1431 | If X is an instance of nation and Y is a leader position of the government of X, then Y is a leader position of X |
| (=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) |
Government.kif 1433-1437 | If X is an instance of nation and Y is a leader position of X, then Y is a leader position of the government of X |
| (=> (and (chiefOfState ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1532-1536 | If X chief of state Y for Z and X is an instance of nation, then Z is a citizen of X |
| (=> (and (headOfGovernment ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA)) |
Government.kif 1571-1575 | If X is the head of government Y for Z and X is an instance of nation, then Z is a citizen of X |
| (=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY))) |
Government.kif 2152-2157 | If X is an instance of supreme court, X is a part of the organization the government of Y, and Y is an instance of nation, then X is an instance of the supreme court of Y |
| (=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2323-2330 | If X is an instance of political pressure group, X has the purpose Y, Z is an agent operates in area of X, and Z is an instance of nation, then X desires the government of Z believes Y |
| (=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3204-3208 | If X is an instance of nation and X is a member of european monetary union, then euro dollar is a currency type of X |
| (=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion)) |
Government.kif 3210-3214 | If X is an instance of nation and euro dollar is a currency type of X, then X is a member of european monetary union |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation)) (exists (?ORG) (and (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG)))) |
Government.kif 4451-4459 | If X is diplomatic representative in role Y for Z with W and X is an instance of nation, then there exists V such that V is an instance of diplomatic organization, V is a part of the organization the government of X, and Y holds the position of Z in V |
| (=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2)) |
Government.kif 4492-4500 | If All of the following hold: (1) X is diplomatic representative in role Y for Z with W (2) X is an instance of nation (3) V is an instance of diplomatic organization (4) V is a part of the organization the government of X (5) Y holds the position of Z in V (6) W is an instance of geopolitical area, then W is an agent operates in area of V |
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4516-4521 | If X diplomatic representation type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X diplomatic representation type Y for W |
| (=> (and (representativeAgentToAgent ?SENDER ?REP ?RECEIVER) (instance ?SENDER Nation) (instance ?REP CognitiveAgent)) (employs (GovernmentFn ?SENDER) ?REP)) |
Government.kif 4595-4600 | If X is representative agent to agent Y for Z, X is an instance of nation, and Y is an instance of cognitive agent, then the government of X employs Y |
| (=> (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 4602-4610 | 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 |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Nation) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG (GovernmentFn ?AGENT1))))) |
Government.kif 4629-4638 | If X is diplomatic organization type Y for Z, X is an instance of nation, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization the government of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (and (instance ?X DutyTax) (refers ?X ?OBJ) (patient ?X ?OBJ)) (exists (?T ?N1 ?N2) (and (instance ?T Transfer) (patient ?T ?OBJ) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (earlier (WhenFn ?T) (WhenFn ?X)) (causes ?T ?X)))) |
FinancialOntology.kif 951-966 | If X is an instance of duty tax, X includes a reference to Y, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) Y is a patient of Z (4) Z originates at W (5) Z ends up at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) the time of existence of Z happens earlier than the time of existence of X (11) Z causes X |
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 4456-4464 | If X is an instance of international agreement, Y is an instance of committing, and Y expresses X, then there exists Z such that Z is an agent of Y and Z is an instance of nation |
| (=> (and (instance ?AREA GeopoliticalArea) (instance (GovernmentFn ?AREA) NationalGovernment)) (instance ?AREA Nation)) |
Government.kif 121-125 | If X is an instance of geopolitical area and the government of X is an instance of national government, then X is an instance of nation |
| (=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY)))) |
Government.kif 457-462 | If X is an instance of overseas area, then there exists Y such that Y is an instance of nation and X is a dependent of Y |
| (=> (instance ?ORG InternationalOrganization) (exists (?COUNTRY1 ?COUNTRY2) (and (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation) (agentOperatesInArea ?ORG ?COUNTRY1) (agentOperatesInArea ?ORG ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 2497-2505 | If X is an instance of international organization, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nation (3) Z is an instance of nation (4) Y is an agent operates in area of X (5) Z is an agent operates in area of X (6) equal Y (7) Z |
| (=> (and (instance ?ORG OrganizationOfNations) (member ?MEM ?ORG)) (instance ?MEM Nation)) |
Government.kif 2512-2516 | If X is an instance of organization of nations and Y is a member of X, then Y is an instance of nation |
| (=> (instance ?E Pandemic) (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2) (and (involvedInEvent ?E ?H1) (involvedInEvent ?E ?H2) (not (equal ?H1 ?H2)) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (instance ?C1 Continent) (instance ?C2 Continent) (not (equal ?C1 ?C2)) (holdsDuring (WhenFn ?E) (or (and (located ?H1 ?C1) (located ?H2 ?C2)) (and (located ?H1 ?N1) (located ?H2 ?N2))))))) |
Medicine.kif 3529-3553 | If X is an instance of pandemic, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an involved in event of X (3) Z is an involved in event of X (4) equal Y (5) Z (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) U is an instance of continent (11) T is an instance of continent (12) equal U (13) T (14) Y is located at U (15) Z is located at T or Y is located at W (16) Z is located at V holds during the time of existence of X |
| (=> (instance ?STATE StateOrProvince) (exists (?LAND) (and (instance ?LAND Nation) (properPart ?STATE ?LAND)))) |
Merge.kif 14412-14417 | If X is an instance of state or province, then there exists Y such that Y is an instance of nation and X is a proper part of Y |
| (=> (instance ?F NationalFlag) (exists (?N) (and (instance ?N Nation) (refers ?F ?N)))) |
Mid-level-ontology.kif 14734-14739 | If X is an instance of national flag, then there exists Y such that Y is an instance of nation and X includes a reference to Y |
| (=> (property ?T Treaty) (exists (?N1 ?N2) (and (partyToAgreement ?T ?N1) (partyToAgreement ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2))))) |
Mid-level-ontology.kif 15718-15727 | If X the attribute treaty, then All of the following hold: (1) there exist Y (2) Z such that Y is a party to agreement of X (3) Z is a party to agreement of X (4) Y is an instance of nation (5) Z is an instance of nation (6) equal Y (7) Z |
| (=> (and (instance ?P Passport) (possesses ?A ?P)) (confersNorm ?P (exists (?T ?N1 ?N2) (and (instance ?T Translocation) (agent ?T ?A) (origin ?T ?N1) (destination ?T ?N2) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)))) Permission)) |
Mid-level-ontology.kif 18101-18115 | If X is an instance of passport and Y possesses X, then All of the following hold: (1) X confers norm there exist Z, W (2) V such that Z is an instance of translocation (3) Y is an agent of Z (4) Z originates at W (5) Z ends up at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V for permission |
| (=> (and (instance ?I Immigrating) (agent ?I ?A)) (exists (?N1 ?N2) (and (instance ?N1 Nation) (instance ?N2 Nation) (origin ?I ?N1) (destination ?I ?N2) (not (equal ?N1 ?N2)) (member ?A (CitizenryFn ?N1)) (not (member ?A (CitizenryFn ?N2))) (hasPurpose ?I (inhabits ?A ?N2))))) |
Mid-level-ontology.kif 19139-19155 | If X is an instance of immigrating and Y is an agent of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of nation (3) W is an instance of nation (4) X originates at Z (5) X ends up at W (6) equal Z (7) W (8) Y is a member of the citizenry of Z (9) Y is not a member of the citizenry of W (10) X has the purpose Y lives in W |
| (=> (and (instance ?WAR CivilWar) (contestParticipant ?WAR ?AGENT)) (exists (?NATION) (and (instance ?NATION Nation) (geopoliticalSubdivision ?AGENT ?NATION)))) |
Mid-level-ontology.kif 21633-21640 | If X is an instance of civil war and Y participates in X, then there exists Z such that Z is an instance of nation and Y is a geopolitical part of Z |
| (=> (instance ?X EmbassyBuilding) (exists (?EGOV ?OTHERGOV) (and (instance ?EGOV Nation) (instance ?OTHERGOV Nation) (not (equal ?EGOV ?OTHERGOV)) (possesses ?EGOV ?X) (located ?X ?OTHERGOV)))) |
Mid-level-ontology.kif 24739-24748 | If X is an instance of embassy building, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nation (3) Z is an instance of nation (4) equal Y (5) Z (6) Y possesses X (7) X is located at Z |
| (=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 27088-27092 | If X is in Y, then Y is an instance of nation or Y is an instance of dependency or special sovereignty area |
| (=> (and (instance ?X TelephoneCommunication) (attribute ?X Domestic)) (exists (?ORIGIN ?DEST ?COUNTRY) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?COUNTRY) (located ?DEST ?COUNTRY) (instance ?COUNTRY Nation)))) |
Mid-level-ontology.kif 29772-29782 | If X is an instance of telephone communication and domestic is an attribute of X, then there exist Y, Z, W such that X originates at Y, X ends up at Z, Y is located at W, Z is located at W, and W is an instance of nation |
| (=> (and (instance ?X TelephoneCommunication) (attribute ?X International)) (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (located ?ORIGIN ?CTRY1) (located ?DEST ?CTRY2) (instance ?CTRY1 Nation) (instance ?CTRY2 Nation) (not (equal ?CTRY1 ?CTRY2))))) |
Mid-level-ontology.kif 29789-29801 | If X is an instance of telephone communication and international is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X originates at Y (3) X ends up at Z (4) Y is located at W (5) Z is located at V (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V |
| (=> (and (holdsDuring ?T1 (and (attribute ?P Expellee) (citizen ?P ?HOME_NATION))) (instance ?T1 TimeInterval)) (exists (?TRANS ?NATION) (and (instance ?NATION Nation) (not (equal ?NATION ?HOME_NATION)) (instance ?TRANS Translocation) (origin ?TRANS ?NATION) (patient ?TRANS ?P) (destination ?TRANS ?HOME_NATION) (temporalPart ?T1 (WhenFn ?TRANS))))) |
MilitaryPersons.kif 151-167 | If expellee is an attribute of X and X is a citizen of ?HOME_NATION holds during Z and Z is an instance of timeframe, then All of the following hold: (1) there exist W (2) V such that V is an instance of nation (3) equal V (4) ?HOME_NATION (5) W is an instance of translocation (6) W originates at V (7) X is a patient of W (8) W ends up at ?HOME_NATION (9) Z is a part of the time of existence of W |
| (=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (instance ?U MilitaryUnit) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC)))))) |
MilitaryPersons.kif 725-736 | If expeditionary force is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that X is an instance of military unit (3) Y is an instance of battle (4) X is an agent of Y (5) W is an instance of nation (6) Y is located at W (7) equal Z (8) W |
| (=> (instance ?PUB MultinationalDoctrine) (exists (?NATION1 ?NATION2) (and (agent ?PUB ?NATION1) (agent ?PUB ?NATION2) (instance ?NATION1 Nation) (instance ?NATION2 Nation) (not (equal ?NATION1 ?NATION2))))) |
MilitaryProcesses.kif 1025-1034 | If X is an instance of multinational doctrine, then All of the following hold: (1) there exist Y (2) Z such that Y is an agent of X (3) Z is an agent of X (4) Y is an instance of nation (5) Z is an instance of nation (6) equal Y (7) Z |
| (=> (instance ?HN HostNation) (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY) (and (instance ?OTHERNATION Nation) (instance ?MILITARY MilitaryForce) (militaryOfArea ?MILITARY ?OTHERNATION) (subOrganization ?FORCES ?MILITARY) (not (equal ?HN ?OTHERNATION)) (not (enemy ?HN ?OTHERNATION)) (instance ?GETTING Getting) (agent ?GETTING ?HN) (patient ?GETTING ?FORCES) (instance ?FORCES MilitaryForce) (located ?FORCES ?HN)))) |
MilitaryProcesses.kif 1376-1392 | If X is an instance of host nation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of nation (3) V is an instance of military force (4) W is a military of area of V (5) Z is a part of the organization V (6) equal X (7) W (8) X (9) W are not enemies of each other (10) Y is an instance of getting (11) X is an agent of Y (12) Z is a patient of Y (13) Z is an instance of military force (14) Z is located at X |
| (=> (instance ?D InternationalDispute) (exists (?AG1 ?AG2) (and (instance ?AG1 Nation) (instance ?AG2 Nation) (not (equal ?AG1 ?AG2)) (agent ?D ?AG1) (agent ?D ?AG2)))) |
TransnationalIssues.kif 32-41 | If X is an instance of international dispute, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of nation (3) Z is an instance of nation (4) equal Y (5) Z (6) Y is an agent of X (7) Z is an agent of X |
| (=> (and (instance ?NATIONAL NationalShipRegister) (possesses ?AREA ?NATIONAL)) (instance ?AREA Nation)) |
Transportation.kif 1126-1130 | If X is an instance of national ship register and Y possesses X, then Y is an instance of nation |
| (=> (and (instance ?INTERNAL InternalShipRegister) (possesses ?AREA ?INTERNAL)) (instance ?AREA Nation)) |
Transportation.kif 1176-1180 | If X is an instance of internal ship register and Y possesses X, then Y is an instance of nation |
| (=> (and (instance ?OFFSHORE OffshoreShipRegister) (possesses ?AREA ?OFFSHORE)) (instance ?AREA Nation)) |
Transportation.kif 1192-1196 | If X is an instance of offshore ship register and Y possesses X, then Y is an instance of nation |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (containsInformation (forall (?COUNTRY ?ELECTION ?VOTING ?VOTER) (=> (and (instance ?COUNTRY Nation) (instance ?ELECTION (ElectionFn ?COUNTRY)) (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?VOTER)) (citizen ?VOTER ?COUNTRY))) VoterCitizenshipRequirement) |
Government.kif 885-893 | For all : if ?COUNTRY is an instance of nation, ?ELECTION is an instance of the election of ?COUNTRY, ?VOTING is an instance of the voting of ?ELECTION, and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY |
|
|
|