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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nation

Sigma KEE - 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...

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


s__disjoint(s__Nation,s__Continent)

Geography.kif 3365-3365
s__documentation(s__Nation,s__ChineseLanguage,'这是最辽阔的 GeopoliticalArea,也就是说 Nation 是 不属于任何总体和综合管制架构一部分的 GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。')

Merge.kif 14196-14197
s__documentation(s__Nation,s__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 14192-14195
s__externalImage(s__Nation,'http://upload.wikimedia.org/wikipedia/commons/7/78/Developed_nation.png')

pictureList.kif 3359-3359
s__instance(s__Nation,s__SetOrClass)

Merge.kif 14190-14190
s__instance(s__Nation,s__SetOrClass)

Merge.kif 14191-14191

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


s__instance(s__Afghanistan,s__Nation)

CountriesAndRegions.kif 568-568
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 371-371
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 117-117
s__instance(s__Angola,s__Nation)

CountriesAndRegions.kif 153-153
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 429-429
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 514-514
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 631-631
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 661-661
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 276-276
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 633-633
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 241-241
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 570-570
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 434-434
s__instance(s__Belarus,s__Nation)

CountriesAndRegions.kif 297-297
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 472-472
s__instance(s__Benin,s__Nation)

CountriesAndRegions.kif 192-192
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 572-572
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 496-496
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 373-373
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 156-156
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 501-501
s__instance(s__Brunei,s__Nation)

CountriesAndRegions.kif 600-600
s__instance(s__Bulgaria,s__Nation)

CountriesAndRegions.kif 375-375
s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 194-194
s__instance(s__Nation,s__SetOrClass)

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


s__domain(s__NationalAnthemFn__m,1,s__Nation)

Music.kif 954-954
s__domain(s__StreetAddressFn__m,4,s__Nation)

Mid-level-ontology.kif 6371-6371
s__domain(s__citizen__m,2,s__Nation)

Merge.kif 16981-16981
s__domain(s__inflationRateInCountry__m,1,s__Nation)

FinancialOntology.kif 1626-1626

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


( ∀ [V__PLACE,V__GEO]
   ((s__located(V__PLACE,V__GEO)
     ∧
     s__instance(V__PLACE,s__PostalPlace) ∧
     (s__instance(V__GEO,s__Nation) ∨
       s__instance(V__GEO,s__DependencyOrSpecialSovereigntyArea)))
   <⇒
   s__postCountry(V__PLACE,V__GEO))
)

Mid-level-ontology.kif 22476-22483
( ∀ [V__AREA]
   ((s__attribute(V__AREA,s__CommunistState) ∧
       s__instance(V__AREA,s__Nation))
     ⇒
     s__economyType(V__AREA,s__CentrallyPlannedEconomy))
   )

Economy.kif 861-865
( ∀ [V__AREA,V__POSITION,V__PERSON]
   ((s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
     ∧
     s__instance(V__AREA,s__Nation))
   ⇒
   s__citizen(V__PERSON,V__AREA))
)

Government.kif 1530-1534
( ∀ [V__AGENT1,V__TYPE,V__AGENT2,V__AGENT3]
   ((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2)
     ∧
     s__geopoliticalSubdivision(V__AGENT2,V__AGENT3)
   ∧
   s__instance(V__AGENT3,s__Nation))

s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT3))
)

Government.kif 4605-4610
( ∀ [V__AGENT1,V__TYPE,V__AGENT2]
   ((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2)
     ∧
     s__instance(V__AGENT1,s__Nation) ∧
     s__instance(V__AGENT2,s__GeopoliticalArea))
   ⇒
   (∃ [V__ORG]
     (s__instance(V__ORG,V__TYPE)
     ∧
     s__located(V__ORG,V__AGENT2)
   ∧
   s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1)))))
)

Government.kif 4585-4594
( ∀ [V__AGENT1,V__POSITION,V__AGENT2,V__AGENT3]
   ((s__diplomaticRepresentationType(V__AGENT1,V__POSITION,V__AGENT2)
     ∧
     s__geopoliticalSubdivision(V__AGENT2,V__AGENT3)
   ∧
   s__instance(V__AGENT3,s__Nation))

s__diplomaticRepresentationType(V__AGENT1,V__POSITION,V__AGENT3))
)

Government.kif 4472-4477
( ∀ [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2,V__ORG]
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     ∧
     s__instance(V__AGENT1,s__Nation) ∧
     s__instance(V__ORG,s__DiplomaticOrganization) ∧
     s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))

s__occupiesPosition(V__PERSON,V__POSITION,V__ORG)

s__instance(V__AGENT2,s__GeopoliticalArea))

s__agentOperatesInArea(V__ORG,V__AGENT2))
)

Government.kif 4448-4456
( ∀ [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2]
   ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2)
     ∧
     s__instance(V__AGENT1,s__Nation))
   ⇒
   (∃ [V__ORG]
     (s__instance(V__ORG,s__DiplomaticOrganization) ∧
       s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))
   ∧
   s__occupiesPosition(V__PERSON,V__POSITION,V__ORG))))
)

Government.kif 4407-4415
( ∀ [V__AREA,V__POSITION,V__PERSON]
   ((s__headOfGovernment(V__AREA,V__POSITION,V__PERSON)
     ∧
     s__instance(V__AREA,s__Nation))
   ⇒
   s__citizen(V__PERSON,V__AREA))
)

Government.kif 1569-1573
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 195-201
( ∀ [V__COUNTRY1,V__COUNTRY2]
   ((s__instance(s__BorderFn(V__COUNTRY1,V__COUNTRY2)
    ,s__GeographicArea) ∧
     s__instance(V__COUNTRY1,s__Nation) ∧
     s__instance(V__COUNTRY2,s__Nation))
   ⇒
   s__instance(s__BorderFn(V__COUNTRY1,V__COUNTRY2)
,s__InternationalBorder))
)

Geography.kif 697-702
( ∀ [V__AREA]
   ((s__instance(s__ShipRegisterFn(V__AREA)
    ,s__ShipRegister) ∧
     s__instance(V__AREA,s__Nation))
   ⇒
   s__instance(s__ShipRegisterFn(V__AREA)
,s__NationalShipRegister))
)

Transportation.kif 1092-1096
( ∀ [V__AREA]
   ((s__instance(V__AREA,s__Nation) ∧
       s__currencyType(V__AREA,s__EuroDollar))
     ⇒
     s__member(V__AREA,s__EuropeanMonetaryUnion))
   )

Government.kif 3166-3170
( ∀ [V__AREA]
   ((s__instance(V__AREA,s__Nation) ∧
       s__member(V__AREA,s__EuropeanMonetaryUnion))
     ⇒
     s__currencyType(V__AREA,s__EuroDollar))
   )

Government.kif 3160-3164
( ∀ [V__CAA,V__AGENT_MIL_THIS,V__NATION_THIS,V__NATION_FRIENDLY]
   ((s__instance(V__CAA,s__CivilAffairsAgreement) ∧
       s__partyToAgreement(V__AGENT_MIL_THIS,V__CAA)
     ∧
     s__instance(V__AGENT_MIL_THIS,s__MilitaryOrganization) ∧
     s__militaryOfArea(V__AGENT_MIL_THIS,V__NATION_THIS)
   ∧
   s__instance(V__NATION_THIS,s__Nation) ∧
   s__located(V__AGENT_MIL_THIS,V__NATION_FRIENDLY)

s__instance(V__NATION_FRIENDLY,s__Nation))

((¬ (V__NATION_THIS = V__NATION_FRIENDLY))

s__enemy(V__NATION_THIS,V__NATION_FRIENDLY))

(∃ [V__AGENT_FRIENDLY]
(s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)

s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)

s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization))))))
)

MilitaryProcesses.kif 2276-2295
( ∀ [V__CAO,V__NATION,V__LAW,V__CONTENT]
   ((s__instance(V__CAO,s__CivilAffairsOperation) ∧
       s__located(V__CAO,V__NATION)
     ∧
     s__instance(V__NATION,s__Nation) ∧
     s__instance(V__LAW,s__RegionalLawFn(V__NATION))

s__realization(V__CAO,V__CONTENT))

s__consistent(V__LAW,V__CONTENT))
)

MilitaryProcesses.kif 2211-2219
No TPTP formula. May not be expressible in strict first order. Government.kif 768-776
( ∀ [V__COUNTRY]
   ((s__instance(V__COUNTRY,s__Nation) ∧
       s__governmentType(V__COUNTRY,s__Democracy))
     ⇒
     (∃ [V__SUFFRAGE]
       (s__instance(V__SUFFRAGE,s__SuffrageLaw) ∧
         s__subProposition(V__SUFFRAGE,s__RegionalLawFn(V__COUNTRY)))))
)

Government.kif 899-906
( ∀ [V__COUNTRY,V__AREA]
   ((s__instance(V__COUNTRY,s__Nation) ∧
       s__instance(V__AREA,s__OverseasAreaFn(V__COUNTRY)))

s__dependentAreaOfType(V__AREA,V__COUNTRY,s__OverseasArea))
)

Government.kif 496-500
( ∀ [V__COUNTRY,V__PERSON,V__ROLE]
   ((s__instance(V__COUNTRY,s__Nation) ∧
       s__leader(V__COUNTRY,V__PERSON)
     ∧
     s__instance(V__ROLE,s__Position) ∧
     s__occupiesPosition(V__PERSON,V__ROLE,s__GovernmentFn(V__COUNTRY)))

s__leaderPosition(V__COUNTRY,V__ROLE))
)

Government.kif 1416-1422
( ∀ [V__COUNTRY,V__ROLE]
   ((s__instance(V__COUNTRY,s__Nation) ∧
       s__leaderPosition(s__GovernmentFn(V__COUNTRY)
    ,V__ROLE))

s__leaderPosition(V__COUNTRY,V__ROLE))
)

Government.kif 1425-1429
( ∀ [V__COUNTRY,V__ROLE]
   ((s__instance(V__COUNTRY,s__Nation) ∧
       s__leaderPosition(V__COUNTRY,V__ROLE))
   ⇒
   s__leaderPosition(s__GovernmentFn(V__COUNTRY)
,V__ROLE))
)

Government.kif 1431-1435
( ∀ [V__COURT,V__COUNTRY]
   ((s__instance(V__COURT,s__SupremeCourt) ∧
       s__subOrganization(V__COURT,s__GovernmentFn(V__COUNTRY))
   ∧
   s__instance(V__COUNTRY,s__Nation))

s__instance(V__COURT,s__SupremeCourtFn(V__COUNTRY)))
)

Government.kif 2151-2156
( ∀ [V__GEO,V__AREA]
   ((s__instance(V__GEO,s__GeographicPartTypeFn(s__StateOrProvince,V__AREA))
   ∧
   s__instance(V__AREA,s__Nation))

s__primaryGeopoliticalSubdivision(V__GEO,V__AREA))
)

Geography.kif 6261-6265
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2316

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
( ∀ [V__AGREEMENT,V__COMMITTING]
   ((s__instance(V__AGREEMENT,s__InternationalAgreement) ∧
       s__instance(V__COMMITTING,s__Committing) ∧
       s__represents(V__COMMITTING,V__AGREEMENT))
   ⇒
   (∃ [V__AGENT]
     (s__agent(V__COMMITTING,V__AGENT)
     ∧
     s__instance(V__AGENT,s__Nation))))
)

Geography.kif 2848-2856
( ∀ [V__AREA]
   ((s__instance(V__AREA,s__GeopoliticalArea) ∧
       s__instance(s__GovernmentFn(V__AREA)
    ,s__NationalGovernment))
   ⇒
   s__instance(V__AREA,s__Nation))
)

Government.kif 121-125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14912-14928
( ∀ [V__INTERNAL,V__AREA]
   ((s__instance(V__INTERNAL,s__InternalShipRegister) ∧
       s__possesses(V__AREA,V__INTERNAL))
   ⇒
   s__instance(V__AREA,s__Nation))
)

Transportation.kif 1123-1127
( ∀ [V__NATIONAL,V__AREA]
   ((s__instance(V__NATIONAL,s__NationalShipRegister) ∧
       s__possesses(V__AREA,V__NATIONAL))
   ⇒
   s__instance(V__AREA,s__Nation))
)

Transportation.kif 1073-1077
( ∀ [V__OFFSHORE,V__AREA]
   ((s__instance(V__OFFSHORE,s__OffshoreShipRegister) ∧
       s__possesses(V__AREA,V__OFFSHORE))
   ⇒
   s__instance(V__AREA,s__Nation))
)

Transportation.kif 1139-1143
( ∀ [V__ORG,V__MEM]
   ((s__instance(V__ORG,s__OrganizationOfNations) ∧
       s__member(V__MEM,V__ORG))
   ⇒
   s__instance(V__MEM,s__Nation))
)

Government.kif 2478-2482
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14161-14175
( ∀ [V__X,V__OBJ]
   ((s__instance(V__X,s__DutyTax) ∧
       s__refers(V__X,V__OBJ)
     ∧
     s__patient(V__X,V__OBJ))

(∃ [V__T,V__N1,V__N2]
   (s__instance(V__T,s__Transfer) ∧
     s__patient(V__T,V__OBJ)
   ∧
   s__origin(V__T,V__N1)

s__destination(V__T,V__N2)

s__instance(V__N1,s__Nation) ∧
s__instance(V__N2,s__Nation) ∧
(¬ (V__N1 = V__N2))

s__earlier(s__WhenFn(V__T)
,s__WhenFn(V__X))

s__causes(V__T,V__X))))
)

FinancialOntology.kif 894-909
( ∀ [V__X]
   ((s__instance(V__X,s__TelephoneCommunication) ∧
       s__attribute(V__X,s__Domestic))
     ⇒
     (∃ [V__ORIGIN,V__DEST,V__COUNTRY]
       (s__origin(V__X,V__ORIGIN)
       ∧
       s__destination(V__X,V__DEST)
     ∧
     s__located(V__ORIGIN,V__COUNTRY)
   ∧
   s__located(V__DEST,V__COUNTRY)

s__instance(V__COUNTRY,s__Nation))))
)

Mid-level-ontology.kif 25292-25302
( ∀ [V__X]
   ((s__instance(V__X,s__TelephoneCommunication) ∧
       s__attribute(V__X,s__International))
     ⇒
     (∃ [V__ORIGIN,V__DEST,V__CTRY1,V__CTRY2]
       (s__origin(V__X,V__ORIGIN)
       ∧
       s__destination(V__X,V__DEST)
     ∧
     s__located(V__ORIGIN,V__CTRY1)
   ∧
   s__located(V__DEST,V__CTRY2)

s__instance(V__CTRY1,s__Nation) ∧
s__instance(V__CTRY2,s__Nation) ∧
(¬ (V__CTRY1 = V__CTRY2)))))
)

Mid-level-ontology.kif 25309-25321
( ∀ [V__AREA]
   (s__instance(V__AREA,s__OverseasArea) ⇒
     (∃ [V__COUNTRY]
       (s__instance(V__COUNTRY,s__Nation) ∧
         s__dependentGeopoliticalArea(V__AREA,V__COUNTRY))))
)

Government.kif 482-487
( ∀ [V__D]
   (s__instance(V__D,s__InternationalDispute) ⇒
     (∃ [V__AG1,V__AG2]
       (s__instance(V__AG1,s__Nation) ∧
         s__instance(V__AG2,s__Nation) ∧
         (¬ (V__AG1 = V__AG2))
         ∧
         s__agent(V__D,V__AG1)
       ∧
       s__agent(V__D,V__AG2))))
)

TransnationalIssues.kif 32-41
( ∀ [V__F]
   (s__instance(V__F,s__NationalFlag) ⇒
     (∃ [V__N]
       (s__instance(V__N,s__Nation) ∧
         s__refers(V__F,V__N))))
)

Mid-level-ontology.kif 10868-10873
( ∀ [V__HN]
   (s__instance(V__HN,s__HostNation) ⇒
     (∃ [V__GETTING,V__FORCES,V__OTHERNATION,V__MILITARY]
       (s__instance(V__OTHERNATION,s__Nation) ∧
         s__instance(V__MILITARY,s__MilitaryForce) ∧
         s__militaryOfArea(V__MILITARY,V__OTHERNATION)
       ∧
       s__subOrganization(V__FORCES,V__MILITARY)
     ∧
     (¬ (V__HN = V__OTHERNATION))
     ∧
     (¬ s__enemy(V__HN,V__OTHERNATION))
   ∧
   s__instance(V__GETTING,s__Getting) ∧
   s__agent(V__GETTING,V__HN)

s__patient(V__GETTING,V__FORCES)

s__instance(V__FORCES,s__MilitaryForce) ∧
s__located(V__FORCES,V__HN))))
)

MilitaryProcesses.kif 1345-1361
( ∀ [V__ORG]
   (s__instance(V__ORG,s__InternationalOrganization) ⇒
     (∃ [V__COUNTRY1,V__COUNTRY2]
       (s__instance(V__COUNTRY1,s__Nation) ∧
         s__instance(V__COUNTRY2,s__Nation) ∧
         s__agentOperatesInArea(V__ORG,V__COUNTRY1)
       ∧
       s__agentOperatesInArea(V__ORG,V__COUNTRY2)
     ∧
     (¬ (V__COUNTRY1 = V__COUNTRY2)))))
)

Government.kif 2463-2471
( ∀ [V__PUB]
   (s__instance(V__PUB,s__MultinationalDoctrine) ⇒
     (∃ [V__NATION1,V__NATION2]
       (s__agent(V__PUB,V__NATION1)
       ∧
       s__agent(V__PUB,V__NATION2)
     ∧
     s__instance(V__NATION1,s__Nation) ∧
     s__instance(V__NATION2,s__Nation) ∧
     (¬ (V__NATION1 = V__NATION2)))))
)

MilitaryProcesses.kif 994-1003
( ∀ [V__STATE]
   (s__instance(V__STATE,s__StateOrProvince) ⇒
     (∃ [V__LAND]
       (s__instance(V__LAND,s__Nation) ∧
         s__properPart(V__STATE,V__LAND))))
)

Merge.kif 14208-14213
( ∀ [V__WAR]
   (s__instance(V__WAR,s__CivilWar) ⇒
     (∃ [V__NATION]
       (s__instance(V__NATION,s__Nation) ∧
         (∀ [V__AGENT]
           (s__contestParticipant(V__WAR,V__AGENT)
           ⇒
           s__geopoliticalSubdivision(V__AGENT,V__NATION))))))
)

Mid-level-ontology.kif 17411-17419
( ∀ [V__X]
   (s__instance(V__X,s__EmbassyBuilding) ⇒
     (∃ [V__EGOV,V__OTHERGOV]
       (s__instance(V__EGOV,s__Nation) ∧
         s__instance(V__OTHERGOV,s__Nation) ∧
         (¬ (V__EGOV = V__OTHERGOV))
         ∧
         s__possesses(V__EGOV,V__X)
       ∧
       s__located(V__X,V__OTHERGOV))))
)

Mid-level-ontology.kif 20176-20185
( ∀ [V__PLACE,V__COUNTRY]
   (s__postCountry(V__PLACE,V__COUNTRY)
   ⇒
   (s__instance(V__COUNTRY,s__Nation) ∨
     s__instance(V__COUNTRY,s__DependencyOrSpecialSovereigntyArea)))
)

Mid-level-ontology.kif 22470-22474
( ∀ [V__T]
   (s__property(V__T,s__Treaty) ⇒
     (∃ [V__N1,V__N2]
       (s__partyToAgreement(V__T,V__N1)
       ∧
       s__partyToAgreement(V__T,V__N2)
     ∧
     s__instance(V__N1,s__Nation) ∧
     s__instance(V__N2,s__Nation) ∧
     (¬ (V__N1 = V__N2)))))
)

Mid-level-ontology.kif 11837-11846

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 916-924


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