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

Formal Language: 



KB Term:  Term intersection
English Word: 

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