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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nation

Sigma KEE - Nation
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, Djiboutian...

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


s__disjoint(s__Nation,s__Continent)

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

chinese_format.kif 3346-3347
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 13554-13557
s__externalImage(s__Nation,'"http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png"')

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

s__subclass(s__Nation,s__GeopoliticalArea)

s__instance(s__Nation,s__SetOrClass)

Merge.kif 13552-13552 Nation is a subclass of geopolitical area
s__instance(s__LandArea,s__SetOrClass)

s__subclass(s__Nation,s__LandArea)

s__instance(s__Nation,s__SetOrClass)

Merge.kif 13553-13553 Nation is a subclass of land area

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


s__instance(s__Nation,s__SetOrClass)

s__instance(s__Afghanistan,s__Nation)

CountriesAndRegions.kif 568-568 Afghanistan is an instance of nation
s__instance(s__Albania,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 371-371 Albania is an instance of nation
s__instance(s__Algeria,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 117-117 Algeria is an instance of nation
s__instance(s__Angola,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 153-153 Angola is an instance of nation
s__instance(s__AntiguaAndBarbuda,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 429-429 Antigua and barbuda is an instance of nation
s__instance(s__Argentina,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 514-514 Argentina is an instance of nation
s__instance(s__Armenia,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 631-631 Armenia is an instance of nation
s__instance(s__Nation,s__SetOrClass)

s__instance(s__Australia,s__Nation)

CountriesAndRegions.kif 661-661 Australia is an instance of nation
s__instance(s__Austria,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 276-276 Austria is an instance of nation
s__instance(s__Azerbaijan,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 633-633 Azerbaijan is an instance of nation
s__instance(s__Bahrain,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 241-241 Bahrain is an instance of nation
s__instance(s__Nation,s__SetOrClass)

s__instance(s__Bangladesh,s__Nation)

CountriesAndRegions.kif 570-570 Bangladesh is an instance of nation
s__instance(s__Barbados,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 434-434 Barbados is an instance of nation
s__instance(s__Belarus,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 297-297 Belarus is an instance of nation
s__instance(s__Belize,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 472-472 Belize is an instance of nation
s__instance(s__Nation,s__SetOrClass)

s__instance(s__Benin,s__Nation)

CountriesAndRegions.kif 192-192 Benin is an instance of nation
s__instance(s__Bhutan,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 572-572 Bhutan is an instance of nation
s__instance(s__Bolivia,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 496-496 Bolivia is an instance of nation
s__instance(s__BosniaAndHerzegovina,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 373-373 Bosnia and herzegovina is an instance of nation
s__instance(s__Nation,s__SetOrClass)

s__instance(s__Botswana,s__Nation)

CountriesAndRegions.kif 156-156 Botswana is an instance of nation
s__instance(s__Brazil,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 501-501 Brazil is an instance of nation
s__instance(s__Brunei,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 600-600 Brunei is an instance of nation
s__instance(s__Bulgaria,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 375-375 Bulgaria is an instance of nation
s__instance(s__BurkinaFaso,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 194-194 Burkina faso is an instance of nation
s__instance(s__Burundi,s__Nation)

s__instance(s__Nation,s__SetOrClass)

CountriesAndRegions.kif 86-86 Burundi is an instance of nation

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,n__1,s__Nation)

Music.kif 948-948 The number 1 argument of national anthem is an instance of nation
s__domain(s__StreetAddressFn__m,n__4,s__Nation)

Mid-level-ontology.kif 6076-6076 The number 4 argument of street address is an instance of nation
s__domain(s__citizen__m,n__2,s__Nation)

Merge.kif 15971-15971 The number 2 argument of citizen is an instance of nation
s__domain(s__inflationRateInCountry__m,n__1,s__Nation)

FinancialOntology.kif 1637-1637 The number 1 argument of inflationRateInCountry is an instance of nation

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))
   &
   (s__postCountry(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)))))
)
)

Mid-level-ontology.kif 22837-22844 A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the PostalPlace is in the geopolitical area
( ! [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__POSITION,V__AREA,V__PERSON] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__PERSON,s__Human))
       =>
       (((s__chiefOfState(V__AREA,V__POSITION,V__PERSON)
           &
           s__instance(V__AREA,s__Nation))
         =>
         (s__citizen(V__PERSON,V__AREA)))))
)
)

Government.kif 1556-1560
( ! [V__AGENT2,V__AGENT3,V__TYPE,V__AGENT1] :
   (((s__instance(V__AGENT2,s__GeopoliticalArea) &
         s__subclass(V__TYPE,s__Organization) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((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 4631-4636
( ! [V__AGENT2,V__TYPE,V__AGENT1] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Organization))
       =>
       (((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,s__Organization) &
                 (s__instance(V__ORG,V__TYPE)
                 &
                 s__located(V__ORG,V__AGENT2)
               &
               s__subOrganization(V__ORG,s__GovernmentFn(V__AGENT1))))))))))
)
)

Government.kif 4611-4620
( ! [V__AGENT2,V__AGENT3,V__AGENT1,V__POSITION] :
   (((s__instance(V__AGENT2,s__GeopoliticalArea) &
         s__instance(V__AGENT1,s__Agent) &
         s__instance(V__POSITION,s__Position))
       =>
       (((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 4498-4503
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__ORG,V__PERSON] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__PERSON,s__Human))
       =>
       (((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 4474-4482
( ! [V__AGENT2,V__POSITION,V__AGENT1,V__PERSON] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__POSITION,s__Position) &
         s__instance(V__PERSON,s__Human))
       =>
       (((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 4433-4441
( ! [V__POSITION,V__AREA,V__PERSON] :
   (((s__instance(V__POSITION,s__Position) &
         s__instance(V__PERSON,s__Human))
       =>
       (((s__headOfGovernment(V__AREA,V__POSITION,V__PERSON)
           &
           s__instance(V__AREA,s__Nation))
         =>
         (s__citizen(V__PERSON,V__AREA)))))
)
)

Government.kif 1595-1599
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 704-709
( ! [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 1145-1149
( ! [V__AREA] :
   (((s__instance(V__AREA,s__Nation) &
         s__currencyType(V__AREA,s__EuroDollar))
       =>
       (s__member(V__AREA,s__EuropeanMonetaryUnion)))
     )
   )

Government.kif 3192-3196
( ! [V__AREA] :
   (((s__instance(V__AREA,s__Nation) &
         s__member(V__AREA,s__EuropeanMonetaryUnion))
       =>
       (s__currencyType(V__AREA,s__EuroDollar)))
     )
   )

Government.kif 3186-3190
( ! [V__NATION_FRIENDLY,V__CAA,V__NATION_THIS,V__AGENT_MIL_THIS] :
   (((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__instance(V__AGENT_FRIENDLY,s__CognitiveAgent) &
         (s__located(V__AGENT_FRIENDLY,V__NATION_FRIENDLY)
         &
         s__partyToAgreement(V__AGENT_FRIENDLY,V__CAA)
       &
       ~(s__instance(V__AGENT_FRIENDLY,s__MilitaryOrganization)))))))))
)
)

MilitaryProcesses.kif 2289-2308
( ! [V__CONTENT,V__NATION,V__LAW,V__CAO] :
   (((s__instance(V__CONTENT,s__Proposition) &
         s__instance(V__LAW,s__Proposition))
       =>
       (((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 2224-2232
No TPTP formula. May not be expressible in strict first order. Government.kif 761-769
( ! [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 892-899
( ! [V__AREA,V__COUNTRY] :
   ((s__instance(V__AREA,s__GeopoliticalArea) =>
       (((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__PERSON,V__COUNTRY,V__ROLE] :
   ((s__instance(V__PERSON,s__Human) =>
       (((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 1442-1448
( ! [V__ROLE,V__COUNTRY] :
   ((s__instance(V__ROLE,s__Position) =>
       (((s__instance(V__COUNTRY,s__Nation) &
             s__leaderPosition(s__GovernmentFn(V__COUNTRY)
          ,V__ROLE))
       =>
       (s__leaderPosition(V__COUNTRY,V__ROLE)))))
)
)

Government.kif 1451-1455
( ! [V__ROLE,V__COUNTRY] :
   ((s__instance(V__ROLE,s__Position) =>
       (((s__instance(V__COUNTRY,s__Nation) &
             s__leaderPosition(V__COUNTRY,V__ROLE))
         =>
         (s__leaderPosition(s__GovernmentFn(V__COUNTRY)
        ,V__ROLE)))))
)
)

Government.kif 1457-1461
( ! [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 2177-2182
( ! [V__AREA,V__GEO] :
   ((s__instance(V__GEO,s__GeopoliticalArea) =>
       (((s__instance(V__GEO,s__GeographicPartTypeFn(s__StateOrProvince,V__AREA))
         &
         s__instance(V__AREA,s__Nation))
       =>
       (s__primaryGeopoliticalSubdivision(V__GEO,V__AREA)))))
)
)

Geography.kif 6468-6472
No TPTP formula. May not be expressible in strict first order. Government.kif 2335-2342

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__COMMITTING,V__AGREEMENT] :
   (((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 2882-2890
( ! [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 15556-15572
( ! [V__INTERNAL,V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__INTERNAL,s__InternalShipRegister) &
             s__possesses(V__AREA,V__INTERNAL))
         =>
         (s__instance(V__AREA,s__Nation)))))
   )
)

Transportation.kif 1176-1180
( ! [V__NATIONAL,V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__NATIONAL,s__NationalShipRegister) &
             s__possesses(V__AREA,V__NATIONAL))
         =>
         (s__instance(V__AREA,s__Nation)))))
   )
)

Transportation.kif 1126-1130
( ! [V__OFFSHORE,V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__instance(V__OFFSHORE,s__OffshoreShipRegister) &
             s__possesses(V__AREA,V__OFFSHORE))
         =>
         (s__instance(V__AREA,s__Nation)))))
   )
)

Transportation.kif 1192-1196
( ! [V__ORG,V__MEM] :
   ((s__instance(V__MEM,s__Physical) =>
       (((s__instance(V__ORG,s__OrganizationOfNations) &
             s__member(V__MEM,V__ORG))
         =>
         (s__instance(V__MEM,s__Nation)))))
   )
)

Government.kif 2504-2508
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14807-14821
( ! [V__OBJ,V__X] :
   (((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 903-918
( ! [V__X] :
   (((s__instance(V__X,s__TelephoneCommunication) &
         s__attribute(V__X,s__Domestic))
       =>
       (( ? [V__ORIGIN, V__DEST, V__COUNTRY] :
           ((s__instance(V__ORIGIN,s__Object) &
               s__instance(V__DEST,s__Physical) &
               (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 25257-25267
( ! [V__X] :
   (((s__instance(V__X,s__TelephoneCommunication) &
         s__attribute(V__X,s__International))
       =>
       (( ? [V__ORIGIN, V__DEST, V__CTRY1, V__CTRY2] :
           ((s__instance(V__ORIGIN,s__Object) &
               s__instance(V__DEST,s__Physical) &
               (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 25274-25286
( ! [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 11637-11642
( ! [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 1356-1372
( ! [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 2489-2497
( ! [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 1005-1014
( ! [V__STATE] :
   ((s__instance(V__STATE,s__StateOrProvince) =>
       (( ? [V__LAND] :
           ((s__instance(V__LAND,s__Nation) &
               s__properPart(V__STATE,V__LAND))))))
   )
)

Merge.kif 13566-13571
( ! [V__WAR] :
   ((s__instance(V__WAR,s__CivilWar) =>
       (( ? [V__NATION] :
           ((s__instance(V__NATION,s__Nation) &
               ( ! [V__AGENT] :
                 ((s__instance(V__AGENT,s__GeopoliticalArea) =>
                     ((s__contestParticipant(V__WAR,V__AGENT)
                       =>
                       (s__geopoliticalSubdivision(V__AGENT,V__NATION))))))))))))
)
)

Mid-level-ontology.kif 17828-17836
( ! [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 20607-20616
( ! [V__PLACE,V__COUNTRY] :
   (((s__instance(V__PLACE,s__PostalPlace) &
         s__instance(V__COUNTRY,s__GeopoliticalArea))
       =>
       ((s__postCountry(V__PLACE,V__COUNTRY)
         =>
         ((s__instance(V__COUNTRY,s__Nation) |
             s__instance(V__COUNTRY,s__DependencyOrSpecialSovereigntyArea))))))
   )
)

Mid-level-ontology.kif 22831-22835
( ! [V__T] :
   ((s__instance(V__T,s__CognitiveAgent) =>
       ((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 12585-12594

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


No TPTP formula. May not be expressible in strict first order. Government.kif 909-917 For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER contains information voter citizenship requirement


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 3.0 is open source software produced by Articulate Software and its partners