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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nation
Nation

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


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

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


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

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 948-948
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 6376-6376
(domain citizen 2 Nation) Merge.kif 15557-15557
(domain inflationRateInCountry 1 Nation) FinancialOntology.kif 1624-1624

antecedent
-------------------------


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 22572-22579
(=>
    (and
        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))		 Economy.kif 861-865
(=>
    (and
        (chiefOfState ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))		 Government.kif 1524-1528
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4599-4604
(=>
    (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 4579-4588
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))		 Government.kif 4466-4471
(=>
    (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 4442-4450
(=>
    (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 4401-4409
(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))		 Government.kif 1563-1567
(=>
    (and
        (holdsDuring ?T1
            (attribute ?P StatelessPerson))
        (instance ?NAT Nation))
    (holdsDuring ?T1
        (not
            (citizen ?P ?NAT))))		 MilitaryPersons.kif 195-201
(=>
    (and
        (instance
            (BorderFn ?COUNTRY1 ?COUNTRY2) GeographicArea)
        (instance ?COUNTRY1 Nation)
        (instance ?COUNTRY2 Nation))
    (instance
        (BorderFn ?COUNTRY1 ?COUNTRY2) InternationalBorder))		 Geography.kif 704-709
(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA Nation))
    (instance
        (ShipRegisterFn ?AREA) NationalShipRegister))		 Transportation.kif 1134-1138
(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))		 Government.kif 3160-3164
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3154-3158
(=>
    (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 2289-2308
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))		 MilitaryProcesses.kif 2224-2232
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (agreementEffectiveDuring ?CONST
            (WhenFn ?GOV))
        (subProposition ?PART ?CONST)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))		 Government.kif 761-769
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 892-899
(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))		 Government.kif 496-500
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1410-1416
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1419-1423
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1425-1429
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2145-2150
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 6276-6280
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2303-2310

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
(=>
    (and
        (instance ?AGREEMENT InternationalAgreement)
        (instance ?COMMITTING Committing)
        (represents ?COMMITTING ?AGREEMENT))
    (exists (?AGENT)
        (and
            (agent ?COMMITTING ?AGENT)
            (instance ?AGENT Nation))))		 Geography.kif 2860-2868
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (GovernmentFn ?AREA) NationalGovernment))
    (instance ?AREA Nation))		 Government.kif 121-125
(=>
    (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 14965-14981
(=>
    (and
        (instance ?INTERNAL InternalShipRegister)
        (possesses ?AREA ?INTERNAL))
    (instance ?AREA Nation))		 Transportation.kif 1165-1169
(=>
    (and
        (instance ?NATIONAL NationalShipRegister)
        (possesses ?AREA ?NATIONAL))
    (instance ?AREA Nation))		 Transportation.kif 1115-1119
(=>
    (and
        (instance ?OFFSHORE OffshoreShipRegister)
        (possesses ?AREA ?OFFSHORE))
    (instance ?AREA Nation))		 Transportation.kif 1181-1185
(=>
    (and
        (instance ?ORG OrganizationOfNations)
        (member ?MEM ?ORG))
    (instance ?MEM Nation))		 Government.kif 2472-2476
(=>
    (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 14214-14228
(=>
    (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 893-908
(=>
    (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 25429-25439
(=>
    (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 25446-25458
(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))		 Government.kif 482-487
(=>
    (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
(=>
    (instance ?F NationalFlag)
    (exists (?N)
        (and
            (instance ?N Nation)
            (refers ?F ?N))))		 Mid-level-ontology.kif 10926-10931
(=>
    (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 1356-1372
(=>
    (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 2457-2465
(=>
    (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 1005-1014
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 13199-13204
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))		 Mid-level-ontology.kif 17523-17531
(=>
    (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 20299-20308
(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))		 Mid-level-ontology.kif 22566-22570
(=>
    (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 11895-11904

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 909-917


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners