Nation - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Nation Continent)	Geography.kif 3519-3519	Nation is disjoint from continent
(documentation Nation ChineseLanguage "这是最辽阔的 GeopoliticalArea，也就是说 Nation 是不属于任何总体和综合管制架构一部分的 GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。")	chinese_format.kif 3346-3347	Nation is disjoint from continent
(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 14271-14274	Nation is disjoint from continent
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png")	pictureList.kif 3358-3358	Nation is disjoint from continent
(subclass Nation GeopoliticalArea)	Merge.kif 14269-14269	Nation is a subclass of geopolitical area
(subclass Nation LandArea)	Merge.kif 14270-14270	Nation is a subclass of land area

appearance as argument number 2

(instance Afghanistan Nation)	CountriesAndRegions.kif 568-568	Afghanistan is an instance of nation
(instance Albania Nation)	CountriesAndRegions.kif 371-371	Albania is an instance of nation
(instance Algeria Nation)	CountriesAndRegions.kif 117-117	Algeria is an instance of nation
(instance Angola Nation)	CountriesAndRegions.kif 153-153	Angola is an instance of nation
(instance AntiguaAndBarbuda Nation)	CountriesAndRegions.kif 429-429	Antigua and barbuda is an instance of nation
(instance Argentina Nation)	CountriesAndRegions.kif 514-514	Argentina is an instance of nation
(instance Armenia Nation)	CountriesAndRegions.kif 631-631	Armenia is an instance of nation
(instance Australia Nation)	CountriesAndRegions.kif 661-661	Australia is an instance of nation
(instance Austria Nation)	CountriesAndRegions.kif 276-276	Austria is an instance of nation
(instance Azerbaijan Nation)	CountriesAndRegions.kif 633-633	Azerbaijan is an instance of nation
(instance Bahrain Nation)	CountriesAndRegions.kif 241-241	Bahrain is an instance of nation
(instance Bangladesh Nation)	CountriesAndRegions.kif 570-570	Bangladesh is an instance of nation
(instance Barbados Nation)	CountriesAndRegions.kif 434-434	Barbados is an instance of nation
(instance Belarus Nation)	CountriesAndRegions.kif 297-297	Belarus is an instance of nation
(instance Belize Nation)	CountriesAndRegions.kif 472-472	Belize is an instance of nation
(instance Benin Nation)	CountriesAndRegions.kif 192-192	Benin is an instance of nation
(instance Bhutan Nation)	CountriesAndRegions.kif 572-572	Bhutan is an instance of nation
(instance Bolivia Nation)	CountriesAndRegions.kif 496-496	Bolivia is an instance of nation
(instance BosniaAndHerzegovina Nation)	CountriesAndRegions.kif 373-373	Bosnia and herzegovina is an instance of nation
(instance Botswana Nation)	CountriesAndRegions.kif 156-156	Botswana is an instance of nation
(instance Brazil Nation)	CountriesAndRegions.kif 501-501	Brazil is an instance of nation
(instance Brunei Nation)	CountriesAndRegions.kif 600-600	Brunei is an instance of nation
(instance Bulgaria Nation)	CountriesAndRegions.kif 375-375	Bulgaria is an instance of nation
(instance BurkinaFaso Nation)	CountriesAndRegions.kif 194-194	Burkina faso is an instance of nation
(instance Burundi Nation)	CountriesAndRegions.kif 86-86	Burundi is an instance of nation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain NationalAnthemFn 1 Nation)	Music.kif 954-954	The number 1 argument of national anthem is an instance of nation
(domain StreetAddressFn 4 Nation)	Mid-level-ontology.kif 6704-6704	The number 4 argument of street address is an instance of nation
(domain citizen 2 Nation)	Merge.kif 16824-16824	The number 2 argument of citizen is an instance of nation
(domain inflationRateInCountry 1 Nation)	FinancialOntology.kif 1676-1676	The number 1 argument of inflation rate in country is an instance of nation

antecedent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 25001-25008	A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
(=> (and (attribute ?AREA CommunistState) (instance ?AREA Nation)) (economyType ?AREA CentrallyPlannedEconomy))	Economy.kif 865-869	If communist state is an attribute of an agent and the agent is an instance of nation, then centrally planned economy is an economy type of the agent
(=> (and (chiefOfState ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA))	Government.kif 1534-1538	If a nation chief of state a position for a human and the nation is an instance of nation, then the human is a citizen of the nation
(=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))	Government.kif 4632-4637	If an agent is diplomatic organization type a kind of organization for a geopolitical area and the geopolitical area is a geopolitical part of another geopolitical area and the other geopolitical area is an instance of nation, then the agent is diplomatic organization type a kind of organization for the other geopolitical area
(=> (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 4612-4621	If a geopolitical area is diplomatic organization type a kind of organization for an agent and the geopolitical area is an instance of nation and the agent is an instance of geopolitical area, then there exists another organization such that the other organization is an instance of a kind of organization and the other organization is located at the agent and the other organization is a part of the organization the government of the geopolitical area
(=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))	Government.kif 4499-4504	If an agent diplomatic representation type a position for a geopolitical area and the geopolitical area is a geopolitical part of another geopolitical area and the other geopolitical area is an instance of nation, then the agent diplomatic representation type the position for the other geopolitical area
(=> (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 4475-4483	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation and an organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization and the agent is an instance of geopolitical area, then the agent is an agent operates in area of the organization
(=> (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 4434-4442	If a geopolitical area is diplomatic representative in role a human for a position with an agent and the geopolitical area is an instance of nation, then there exists an organization such that the organization is an instance of diplomatic organization and the organization is a part of the organization the government of the geopolitical area and the human holds the position of the position in the organization
(=> (and (headOfGovernment ?AREA ?POSITION ?PERSON) (instance ?AREA Nation)) (citizen ?PERSON ?AREA))	Government.kif 1573-1577	If a nation is the head of government a position for a human and the nation is an instance of nation, then the human is a citizen of the nation
(=> (and (holdsDuring ?T1 (attribute ?P StatelessPerson)) (instance ?NAT Nation)) (holdsDuring ?T1 (not (citizen ?P ?NAT))))	MilitaryPersons.kif 195-201	If stateless person is an attribute of an entity holds during a time position and another entity is an instance of nation, then the entity is not a citizen of the other entity holds during the time position
(=> (and (instance (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea) (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation)) (instance (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))	Geography.kif 705-710	If the border of a geographic area and another geographic area is an instance of geographic area and the geographic area is an instance of nation and the other geographic area is an instance of nation, then the border of the geographic area and the other geographic area is an instance of international border
(=> (and (instance (ShipRegisterFn ?AREA) ShipRegister) (instance ?AREA Nation)) (instance (ShipRegisterFn ?AREA) NationalShipRegister))	Transportation.kif 1145-1149	If the ship register of a geopolitical area is an instance of ship register and the geopolitical area is an instance of nation, then the ship register of the geopolitical area is an instance of national ship register
(=> (and (instance ?AREA Nation) (currencyType ?AREA EuroDollar)) (member ?AREA EuropeanMonetaryUnion))	Government.kif 3193-3197	If a geopolitical area is an instance of nation and euro dollar is a currency type of the geopolitical area, then the geopolitical area is a member of european monetary union
(=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar))	Government.kif 3187-3191	If a geopolitical area is an instance of nation and the geopolitical area is a member of european monetary union, then euro dollar is a currency type of the geopolitical area
(=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization))))))	MilitaryProcesses.kif 2309-2328	If an agreement is an instance of civil affairs agreement and the agreement is a party to agreement of an entity_MIL_THIS and the entity_MIL_THIS is an instance of military organization and another entity_THIS is a military of area of the entity_MIL_THIS and the other entity_THIS is an instance of nation and the entity_MIL_THIS is located at the other entity_FRIENDLY and the other entity_FRIENDLY is an instance of nation, then the other entity_THIS is not equal to the other entity_FRIENDLY and the other entity_THIS and the other entity_FRIENDLY are not enemies of each other and there exists the entity_FRIENDLY such that the entity_FRIENDLY is located at the other entity_FRIENDLY and the agreement is a party to agreement of the entity_FRIENDLY and the entity_FRIENDLY is not an instance of military organization
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2244-2252	If a process is an instance of civil affairs operation and the process is located at a geopolitical area and the geopolitical area is an instance of nation and a proposition is an instance of the regional law of the geopolitical area and the process expresses the content of another proposition, then the other proposition is a consistent of the proposition
(=> (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 738-747	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an instance of a kind of time position and a kind of time position is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
(=> (and (instance ?COUNTRY Nation) (governmentType ?COUNTRY Democracy)) (exists (?SUFFRAGE) (and (instance ?SUFFRAGE SuffrageLaw) (subProposition ?SUFFRAGE (RegionalLawFn ?COUNTRY)))))	Government.kif 870-877	If a geopolitical area is an instance of nation and democracy is a government type of the geopolitical area, then there exists a proposition such that the proposition is an instance of suffrage law and the proposition is a sub-proposition of the regional law of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (instance ?AREA (OverseasAreaFn ?COUNTRY))) (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))	Government.kif 471-475	If a geopolitical area is an instance of nation and another geopolitical area is an instance of the overseas area of the geopolitical area, then the other geopolitical area dependent area of type the geopolitical area for overseas area
(=> (and (instance ?COUNTRY Nation) (leader ?COUNTRY ?PERSON) (instance ?ROLE Position) (occupiesPosition ?PERSON ?ROLE (GovernmentFn ?COUNTRY))) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1420-1426	If a geopolitical area is an instance of nation and a human is a leader of the geopolitical area and a position is an instance of position and the human holds the position of the position in the government of the geopolitical area, then the position is a leader position of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE)) (leaderPosition ?COUNTRY ?ROLE))	Government.kif 1429-1433	If a geopolitical area is an instance of nation and a position is a leader position of the government of the geopolitical area, then the position is a leader position of the geopolitical area
(=> (and (instance ?COUNTRY Nation) (leaderPosition ?COUNTRY ?ROLE)) (leaderPosition (GovernmentFn ?COUNTRY) ?ROLE))	Government.kif 1435-1439	If a geopolitical area is an instance of nation and a position is a leader position of the geopolitical area, then the position is a leader position of the government of the geopolitical area
(=> (and (instance ?COURT SupremeCourt) (subOrganization ?COURT (GovernmentFn ?COUNTRY)) (instance ?COUNTRY Nation)) (instance ?COURT (SupremeCourtFn ?COUNTRY)))	Government.kif 2155-2160	If an organization is an instance of supreme court and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of nation, then the organization is an instance of the supreme court of the geopolitical area
(=> (and (instance ?GEO (GeographicPartTypeFn StateOrProvince ?AREA)) (instance ?AREA Nation)) (primaryGeopoliticalSubdivision ?GEO ?AREA))	Geography.kif 6938-6942	If a geopolitical area is an instance of all the instances of state or province in another geopolitical area and the other geopolitical area is an instance of nation, then the other geopolitical area is a primary geopolitical subdivision of the geopolitical area
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA)))	Government.kif 2326-2333	If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (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 an entity and the entity is a citizen of another entity-NATION holds during a time position and the time position is an instance of time interval, then there exist a process and an object such that the object is an instance of nation and the object is not equal to the other entity-NATION and the process is an instance of translocation and the process originates at the object and the entity is a patient of the process and the process ends up at the other entity-NATION and the time position is a part of the time of existence of the process
(=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation))))	Geography.kif 3001-3009	If an entity is an instance of international agreement and a process is an instance of committing and the process expresses the entity, then there exists an agent such that the agent is an agent of the process and the agent is an instance of nation
(=> (and (instance ?AREA GeopoliticalArea) (instance (GovernmentFn ?AREA) NationalGovernment)) (instance ?AREA Nation))	Government.kif 121-125	If a geopolitical area is an instance of geopolitical area and the government of the geopolitical area is an instance of national government, then the geopolitical area is an instance of nation
(=> (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 17610-17626	If a process is an instance of immigrating and an agent is an agent of the process, then there exist a geopolitical area and another geopolitical area such that the geopolitical area is an instance of nation and the other geopolitical area is an instance of nation and the process originates at the geopolitical area and the process ends up at the other geopolitical area and the geopolitical area is not equal to the other geopolitical area and the agent is a member of the citizenry of the geopolitical area and the agent is not a member of the citizenry of the other geopolitical area and the process has the purpose the agent lives in the other geopolitical area
(=> (and (instance ?INTERNAL InternalShipRegister) (possesses ?AREA ?INTERNAL)) (instance ?AREA Nation))	Transportation.kif 1176-1180	If an object is an instance of internal ship register and an agent possesses the object, then the agent is an instance of nation
(=> (and (instance ?NATIONAL NationalShipRegister) (possesses ?AREA ?NATIONAL)) (instance ?AREA Nation))	Transportation.kif 1126-1130	If an object is an instance of national ship register and an agent possesses the object, then the agent is an instance of nation
(=> (and (instance ?OFFSHORE OffshoreShipRegister) (possesses ?AREA ?OFFSHORE)) (instance ?AREA Nation))	Transportation.kif 1192-1196	If an object is an instance of offshore ship register and an agent possesses the object, then the agent is an instance of nation
(=> (and (instance ?ORG OrganizationOfNations) (member ?MEM ?ORG)) (instance ?MEM Nation))	Government.kif 2495-2499	If a collection is an instance of organization of nations and a physical is a member of the collection, then the physical is an instance of nation
(=> (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 16779-16793	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third entity for permission
(=> (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 949-964	If a process is an instance of duty tax and the process includes a reference to an entity and the entity is a patient of the process, then there exist another process, an object and another entity such that the other process is an instance of transfer and the entity is a patient of the other process and the other process originates at the object and the other process ends up at the other entity and the object is an instance of nation and the other entity is an instance of nation and the object is not equal to the other entity and the time of existence of the other process happens earlier than the time of existence of the process and the other process causes the process
(=> (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 27391-27401	If an object is an instance of telephone communication and domestic is an attribute of the object, then there exist another object, a physical and a third object such that the object originates at the other object and the object ends up at the physical and the other object is located at the third object and the physical is located at the third object and the third object 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 27408-27420	If an object is an instance of telephone communication and international is an attribute of the object, then there exist another object, a physical,, , a third object and a fourth object such that the object originates at the other object and the object ends up at the physical and the other object is located at the third object and the physical is located at the fourth object and the third object is an instance of nation and the fourth object is an instance of nation and the third object is not equal to the fourth object
(=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (subOrganization ?U (GovernmentFn ?C)) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC))))))	MilitaryPersons.kif 712-724	If expeditionary force is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a part of the organization the government of the other entity and the entity is an instance of battle and the object is an agent of the entity and the third entity is an instance of nation and the entity is located at the third entity and the other entity is not equal to the third entity
(=> (instance ?AREA OverseasArea) (exists (?COUNTRY) (and (instance ?COUNTRY Nation) (dependentGeopoliticalArea ?AREA ?COUNTRY))))	Government.kif 457-462	If a geopolitical area is an instance of overseas area, then there exists another geopolitical area such that the other geopolitical area is an instance of nation and the geopolitical area is a dependent of the other geopolitical area
(=> (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 a process is an instance of international dispute, then there exist an agent and another agent such that the agent is an instance of nation and the other agent is an instance of nation and the agent is not equal to the other agent and the agent is an agent of the process and the other agent is an agent of the process
(=> (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 3537-3561	If a process is an instance of pandemic, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is not equal to the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and the third entity is not equal to the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and the fifth entity is not equal to the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
(=> (instance ?F NationalFlag) (exists (?N) (and (instance ?N Nation) (refers ?F ?N))))	Mid-level-ontology.kif 13484-13489	If an entity is an instance of national flag, then there exists another entity such that the other entity is an instance of nation and the entity includes a reference to the other entity
(=> (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 1357-1373	If an agent is an instance of host nation, then there exist a process, an organization,, , a geopolitical area and a military organization such that the geopolitical area is an instance of nation and the military organization is an instance of military force and the geopolitical area is a military of area of the military organization and the organization is a part of the organization the military organization and the agent is not equal to the geopolitical area and the agent and the geopolitical area are not enemies of each other and the process is an instance of getting and the agent is an agent of the process and the organization is a patient of the process and the organization is an instance of military force and the organization is located at the agent
(=> (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 2480-2488	If an agent is an instance of international organization, then there exist a geographic area and another geographic area such that the geographic area is an instance of nation and the other geographic area is an instance of nation and the geographic area is an agent operates in area of the agent and the other geographic area is an agent operates in area of the agent and the geographic area is not equal to the other geographic area
(=> (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 1006-1015	If a process is an instance of multinational doctrine, then there exist an agent and another agent such that the agent is an agent of the process and the other agent is an agent of the process and the agent is an instance of nation and the other agent is an instance of nation and the agent is not equal to the other agent
(=> (instance ?STATE StateOrProvince) (exists (?LAND) (and (instance ?LAND Nation) (properPart ?STATE ?LAND))))	Merge.kif 14283-14288	If an object is an instance of state or province, then there exists another object such that the other object is an instance of nation and the object is a proper part of the other object
(=> (instance ?WAR CivilWar) (exists (?NATION) (and (instance ?NATION Nation) (forall (?AGENT) (=> (contestParticipant ?WAR ?AGENT) (geopoliticalSubdivision ?AGENT ?NATION))))))	Mid-level-ontology.kif 19950-19958	If a contest is an instance of civil war, then there exists a geopolitical area such that the geopolitical area is an instance of nation and for all another geopolitical area if the other geopolitical area participates in the contest, then the other geopolitical area is a geopolitical part of the geopolitical area
(=> (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 22662-22671	If an object is an instance of embassy building, then there exist an agent and another object such that the agent is an instance of nation and the other object is an instance of nation and the agent is not equal to the other object and the agent possesses the object and the object is located at the other object
(=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))	Mid-level-ontology.kif 24995-24999	If a postal place is in a geopolitical area, then the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area
(=> (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 14438-14447	If a cognitive agent the attribute treaty, then there exist an agreement and another agreement such that the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent and the agreement is an instance of nation and the other agreement is an instance of nation and the agreement is not equal to the other agreement

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 887-895

For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER

if ?COUNTRY is an instance of nation and ?ELECTION is an instance of the election of ?COUNTRY and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING,
then ?VOTER is a citizen of ?COUNTRY

contains information voter citizenship requirement

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: