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 3519-3519 国民 と 大陸 は disjoint では %n
(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 14271-14274
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") pictureList.kif 3358-3358
(subclass Nation GeopoliticalArea) Merge.kif 14269-14269 国民 は 地政学的地域 の subclass では %n
(subclass Nation LandArea) Merge.kif 14270-14270 国民 は 土地面積 の subclass では %n

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


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

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 NationalAnthemFn の数値 1 引数は 国民 の instance では %n
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 6704-6704 StreetAddressFn の数値 4 引数は 国民 の instance では %n
(domain citizen 2 Nation) Merge.kif 16824-16824 citizen の数値 2 引数は 国民 の instance では %n
(domain inflationRateInCountry 1 Nation) FinancialOntology.kif 1676-1676 inflationRateInCountry の数値 1 引数は 国民 の instance では %n

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 24770-24777 PostalPlace は 地政学的地域 に located して %n PostalPlace は PostalPlace の instance では %n 地政学的地域 は 国民 の instance では %n 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では %n postCountry PostalPlace and 地政学的地域
(=>
    (and
        (attribute ?AREA CommunistState)
        (instance ?AREA Nation))
    (economyType ?AREA CentrallyPlannedEconomy))		 Economy.kif 865-869
(=>
    (and
        (chiefOfState ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))		 Government.kif 1534-1538
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4632-4637
(=>
    (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
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))		 Government.kif 4499-4504
(=>
    (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
(=>
    (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
(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))		 Government.kif 1573-1577
(=>
    (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 705-710
(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA Nation))
    (instance
        (ShipRegisterFn ?AREA) NationalShipRegister))		 Transportation.kif 1145-1149
(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))		 Government.kif 3193-3197
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))		 Government.kif 3187-3191
(=>
    (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
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))		 MilitaryProcesses.kif 2244-2252
(=>
    (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
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 870-877
(=>
    (and
        (instance ?COUNTRY Nation)
        (instance ?AREA
            (OverseasAreaFn ?COUNTRY)))
    (dependentAreaOfType ?AREA ?COUNTRY OverseasArea))		 Government.kif 471-475
(=>
    (and
        (instance ?COUNTRY Nation)
        (leader ?COUNTRY ?PERSON)
        (instance ?ROLE Position)
        (occupiesPosition ?PERSON ?ROLE
            (GovernmentFn ?COUNTRY)))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1420-1426
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))		 Government.kif 1429-1433
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))		 Government.kif 1435-1439
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))		 Government.kif 2155-2160
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))		 Geography.kif 6938-6942
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))		 Government.kif 2326-2333

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 3001-3009
(=>
    (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 17379-17395
(=>
    (and
        (instance ?INTERNAL InternalShipRegister)
        (possesses ?AREA ?INTERNAL))
    (instance ?AREA Nation))		 Transportation.kif 1176-1180
(=>
    (and
        (instance ?NATIONAL NationalShipRegister)
        (possesses ?AREA ?NATIONAL))
    (instance ?AREA Nation))		 Transportation.kif 1126-1130
(=>
    (and
        (instance ?OFFSHORE OffshoreShipRegister)
        (possesses ?AREA ?OFFSHORE))
    (instance ?AREA Nation))		 Transportation.kif 1192-1196
(=>
    (and
        (instance ?ORG OrganizationOfNations)
        (member ?MEM ?ORG))
    (instance ?MEM Nation))		 Government.kif 2495-2499
(=>
    (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 16588-16602
(=>
    (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
(=>
    (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 27158-27168
(=>
    (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 27175-27187
(=>
    (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
(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))		 Government.kif 457-462
(=>
    (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 ?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
(=>
    (instance ?F NationalFlag)
    (exists (?N)
        (and
            (instance ?N Nation)
            (refers ?F ?N))))		 Mid-level-ontology.kif 13293-13298
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))		 Merge.kif 14283-14288
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))		 Mid-level-ontology.kif 19719-19727
(=>
    (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 22431-22440
(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))		 Mid-level-ontology.kif 24764-24768
(=>
    (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 14247-14256

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 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER は VoterCitizenshipRequirement の情報を contains %n{ない}


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