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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nation

Sigma KEE - Nation
Nation(国家)

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


(disjoint Nation Continent) Geography.kif 3365-3365 国家 和 % 2 是 disjoint
(documentation Nation ChineseLanguage "这是最辽阔的 GeopoliticalArea,也就是说 Nation 是 不属于任何总体和综合管制架构一部分的 GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。") Merge.kif 14254-14255
(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 14250-14253
(externalImage Nation "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png") pictureList.kif 3359-3359 externalImage 国家 and "http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png"
(subclass Nation GeopoliticalArea) Merge.kif 14248-14248 国家地缘政治区域subclass
(subclass Nation LandArea) Merge.kif 14249-14249 国家土地面积subclass

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


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

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
(domain StreetAddressFn 4 Nation) Mid-level-ontology.kif 6371-6371 StreetAddressFn 的 4 数量 是 国家instance
(domain citizen 2 Nation) Merge.kif 17033-17033 公民 的 2 数量 是 国家instance
(domain inflationRateInCountry 1 Nation) FinancialOntology.kif 1626-1626 inflationRateInCountry 的 1 数量 是 国家instance

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22507-22514 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域DependencyOrSpecialSovereigntyAreainstance 若且唯若 postCountry 那个 PostalPlace and 那个 地缘政治区域
(=>
    (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 1530-1534
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))
Government.kif 4605-4610
(=>
    (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 4585-4594
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4472-4477
(=>
    (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 4448-4456
(=>
    (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 4407-4415
(=>
    (and
        (headOfGovernment ?AREA ?POSITION ?PERSON)
        (instance ?AREA Nation))
    (citizen ?PERSON ?AREA))
Government.kif 1569-1573
(=>
    (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 697-702
(=>
    (and
        (instance
            (ShipRegisterFn ?AREA) ShipRegister)
        (instance ?AREA Nation))
    (instance
        (ShipRegisterFn ?AREA) NationalShipRegister))
Transportation.kif 1119-1123
(=>
    (and
        (instance ?AREA Nation)
        (currencyType ?AREA EuroDollar))
    (member ?AREA EuropeanMonetaryUnion))
Government.kif 3166-3170
(=>
    (and
        (instance ?AREA Nation)
        (member ?AREA EuropeanMonetaryUnion))
    (currencyType ?AREA EuroDollar))
Government.kif 3160-3164
(=>
    (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 2276-2295
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))
MilitaryProcesses.kif 2211-2219
(=>
    (and
        (instance ?CONST
            (ConstitutionFn ?COUNTRY))
        (instance ?COUNTRY Nation)
        (equal ?GOV
            (GovernmentFn ?COUNTRY))
        (agreementEffectiveDuring ?AGR
            (WhenFn ?GOV))
        (subProposition ?PART ?AGR)
        (containsInformation ?FORMULA ?PART))
    (holdsObligation ?FORMULA ?GOV))
Government.kif 768-776
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))
Government.kif 899-906
(=>
    (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 1416-1422
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition
            (GovernmentFn ?COUNTRY) ?ROLE))
    (leaderPosition ?COUNTRY ?ROLE))
Government.kif 1425-1429
(=>
    (and
        (instance ?COUNTRY Nation)
        (leaderPosition ?COUNTRY ?ROLE))
    (leaderPosition
        (GovernmentFn ?COUNTRY) ?ROLE))
Government.kif 1431-1435
(=>
    (and
        (instance ?COURT SupremeCourt)
        (subOrganization ?COURT
            (GovernmentFn ?COUNTRY))
        (instance ?COUNTRY Nation))
    (instance ?COURT
        (SupremeCourtFn ?COUNTRY)))
Government.kif 2151-2156
(=>
    (and
        (instance ?GEO
            (GeographicPartTypeFn StateOrProvince ?AREA))
        (instance ?AREA Nation))
    (primaryGeopoliticalSubdivision ?GEO ?AREA))
Geography.kif 6260-6264
(=>
    (and
        (instance ?GROUP PoliticalPressureGroup)
        (hasPurpose ?GROUP ?FORMULA)
        (agentOperatesInArea ?GROUP ?AREA)
        (instance ?AREA Nation))
    (desires ?GROUP
        (believes
            (GovernmentFn ?AREA) ?FORMULA)))
Government.kif 2309-2316

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 2848-2856
(=>
    (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 14912-14928
(=>
    (and
        (instance ?INTERNAL InternalShipRegister)
        (possesses ?AREA ?INTERNAL))
    (instance ?AREA Nation))
Transportation.kif 1150-1154
(=>
    (and
        (instance ?NATIONAL NationalShipRegister)
        (possesses ?AREA ?NATIONAL))
    (instance ?AREA Nation))
Transportation.kif 1100-1104
(=>
    (and
        (instance ?OFFSHORE OffshoreShipRegister)
        (possesses ?AREA ?OFFSHORE))
    (instance ?AREA Nation))
Transportation.kif 1166-1170
(=>
    (and
        (instance ?ORG OrganizationOfNations)
        (member ?MEM ?ORG))
    (instance ?MEM Nation))
Government.kif 2478-2482
(=>
    (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 14161-14175
(=>
    (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 894-909
(=>
    (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 25372-25382
(=>
    (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 25389-25401
(=>
    (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 10868-10873
(=>
    (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 1345-1361
(=>
    (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 2463-2471
(=>
    (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 994-1003
(=>
    (instance ?STATE StateOrProvince)
    (exists (?LAND)
        (and
            (instance ?LAND Nation)
            (properPart ?STATE ?LAND))))
Merge.kif 14266-14271
(=>
    (instance ?WAR CivilWar)
    (exists (?NATION)
        (and
            (instance ?NATION Nation)
            (forall (?AGENT)
                (=>
                    (contestParticipant ?WAR ?AGENT)
                    (geopoliticalSubdivision ?AGENT ?NATION))))))
Mid-level-ontology.kif 17469-17477
(=>
    (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 20234-20243
(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))
Mid-level-ontology.kif 22501-22505
(=>
    (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 11837-11846

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 916-924 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER contains VoterCitizenshipRequirement 的资料


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

Show without tree


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