Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Nation
Nation(nation)
Afghan, Afghani, Afghanistani, African_country, African_nation, Algerian, Angolan, Aram, Argentine, Argentinian, Asian_Russia, Asian_country, Asian_nation, Australian, Austrian, Bahamian, Bahraini, Balkans, Bangladeshi, Barbadian, Belgian, Beninese, Bermudan, Bhutanese, Blighty, Bolivian, Brazilian, Britannic, Bruneian, Bulgarian, Burmese, Burundi, Burundian, Cambodian, Cameroonian, Canadian, Central_American_country, Central_American_nation, Ceylonese, Chadian, Chilean, Chinese, Colombian, Costa_Rican, Cuban, Czech, Czechoslovakia, Czechoslovakian, Danish, Djiboutian...

appearance as argument number 1
-------------------------


(subclass Nation GeopoliticalArea) Merge.kif 14537-14537 Nation is a subclass of geopolitical area
(subclass Nation LandArea) Merge.kif 14538-14538 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 14539-14542 Nation is a subclass of land area
(disjoint Nation Continent) Geography.kif 4915-4915 Nation is disjoint from continent
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") pictureList.kif 3357-3357 Nation is disjoint from continent

appearance as argument number 2
-------------------------


(subclass IndependentState Nation) Mid-level-ontology.kif 9331-9331 Independent state is a subclass of nation
(subclass EuropeanNation Nation) CountriesAndRegions.kif 73-73 European nation is a subclass of nation
(instance Burundi Nation) CountriesAndRegions.kif 86-86 Burundi is an instance of nation
(instance CentralAfricanRepublic Nation) CountriesAndRegions.kif 88-88 Central african republic is an instance of nation
(instance Chad Nation) CountriesAndRegions.kif 90-90 Chad is an instance of nation
(instance DemocraticRepublicOfTheCongo Nation) CountriesAndRegions.kif 92-92 Democratic republic of the congo is an instance of nation
(instance Rwanda Nation) CountriesAndRegions.kif 94-94 Rwanda is an instance of nation
(instance Djibouti Nation) CountriesAndRegions.kif 98-98 Djibouti is an instance of nation
(instance Eritrea Nation) CountriesAndRegions.kif 100-100 Eritrea is an instance of nation
(instance Ethiopia Nation) CountriesAndRegions.kif 102-102 Ethiopia is an instance of nation
(instance Kenya Nation) CountriesAndRegions.kif 104-104 Kenya is an instance of nation
(instance Seychelles Nation) CountriesAndRegions.kif 106-106 Seychelles is an instance of nation
(instance Somalia Nation) CountriesAndRegions.kif 108-108 Somalia is an instance of nation
(instance Tanzania Nation) CountriesAndRegions.kif 110-110 Tanzania is an instance of nation
(instance Uganda Nation) CountriesAndRegions.kif 112-112 Uganda is an instance of nation
(instance Algeria Nation) CountriesAndRegions.kif 117-117 Algeria is an instance of nation
(instance Egypt Nation) CountriesAndRegions.kif 119-119 Egypt is an instance of nation
(instance Libya Nation) CountriesAndRegions.kif 121-121 Libya is an instance of nation
(instance Mauritania Nation) CountriesAndRegions.kif 123-123 Mauritania is an instance of nation
(instance Morocco Nation) CountriesAndRegions.kif 125-125 Morocco is an instance of nation
(instance Sudan Nation) CountriesAndRegions.kif 128-128 Sudan is an instance of nation
(instance Tunisia Nation) CountriesAndRegions.kif 130-130 Tunisia is an instance of nation
(instance WesternSahara Nation) CountriesAndRegions.kif 132-132 Western sahara is an instance of nation
(instance Angola Nation) CountriesAndRegions.kif 153-153 Angola is an instance of nation
(instance Botswana Nation) CountriesAndRegions.kif 156-156 Botswana 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 citizen 2 Nation) Merge.kif 17106-17106 The number 2 argument of citizen is an instance of nation
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 7798-7798 The number 4 argument of street address is an instance of nation
(domain inflationRateInCountry 1 Nation) FinancialOntology.kif 1722-1722 The number 1 argument of inflation rate in country 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
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 26995-27002 X is located at Y, X is an instance of postal place, Y is an instance of nation or Y is an instance of dependency or special sovereignty area if, and only if X is in Y
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))		 Mid-level-ontology.kif 27011-27018 If X is in Y, Y is a geographic subregion of Z, and Z is an instance of nation or Z is an instance of dependency or special sovereignty area, then X is in Z
(=>
    (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 2176-2181 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 2532-2539 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 8602-8606 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)
        (containsFormula ?PART ?FORMULA))
    (holdsObligation ?GOV ?FORMULA))		 Government.kif 745-754 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) V contains the formula U, 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 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
(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 906-911 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 1427-1433 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 1436-1440 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 1442-1446 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 1541-1545 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 1580-1584 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 2161-2166 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 2332-2339 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 3215-3219 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 3221-3225 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 4462-4470 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 4503-4511 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 4527-4532 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 4606-4611 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14551-14556 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 14830-14835 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
(=>
    (instance ?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 15824-15833 If X is an instance of 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
        (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 ?P))		 Mid-level-ontology.kif 18175-18189 If X is an instance of passport and Y possesses X, then All of the following hold: (1) 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 confers norm permission for X
(=>
    (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 19191-19207 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 21592-21599 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 24656-24665 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 26989-26993 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 29721-29731 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 29738-29750 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
        (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 971-986 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 4433-4441 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 2508-2516 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 2523-2527 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 3567-3591 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
(=>
    (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 154-170 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 728-739 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 1028-1037 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 1379-1395 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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners