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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13587-13590
s__externalImage(s__Nation,'"http://upload.wikimedia.org/wikipedia/commons/7/78/ Developed_nation.png"')

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

s__instance(s__Nation,s__Class)

s__subclass(s__Nation,s__GeopoliticalArea)

Merge.kif 13585-13585 Nation is a subclass of geopolitical area
s__instance(s__Nation,s__Class)

s__subclass(s__Nation,s__LandArea)

s__instance(s__LandArea,s__Class)

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

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


s__instance(s__Nation,s__Class)

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

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

s__instance(s__Nation,s__Class)

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

s__instance(s__Angola,s__Nation)

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

s__instance(s__AntiguaAndBarbuda,s__Nation)

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

s__instance(s__Nation,s__Class)

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

s__instance(s__Nation,s__Class)

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

s__instance(s__Australia,s__Nation)

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

s__instance(s__Austria,s__Nation)

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

s__instance(s__Nation,s__Class)

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

s__instance(s__Bahrain,s__Nation)

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

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

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

s__instance(s__Belarus,s__Nation)

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

s__instance(s__Nation,s__Class)

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

s__instance(s__Benin,s__Nation)

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

s__instance(s__Bhutan,s__Nation)

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

s__instance(s__Nation,s__Class)

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

s__instance(s__BosniaAndHerzegovina,s__Nation)

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

s__instance(s__Botswana,s__Nation)

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

s__instance(s__Brazil,s__Nation)

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

s__instance(s__Nation,s__Class)

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

s__instance(s__Bulgaria,s__Nation)

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

s__instance(s__BurkinaFaso,s__Nation)

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

s__instance(s__Burundi,s__Nation)

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 6346-6346 The number 4 argument of street address is an instance of nation
s__domain(s__citizen__m,n__2,s__Nation)

Merge.kif 16073-16073 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 23732-23739 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 4644-4649
( ! [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 4624-4633
( ! [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 4511-4516
( ! [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 4487-4495
( ! [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 4446-4454
( ! [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 3205-3209
( ! [V__AREA] :
   (((s__instance(V__AREA,s__Nation) &
         s__member(V__AREA,s__EuropeanMonetaryUnion))
       =>
       (s__currencyType(V__AREA,s__EuroDollar)))
     )
   )

Government.kif 3199-3203
( ! [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 2348-2355

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 16451-16467
( ! [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 2517-2521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15702-15716
( ! [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 26166-26176
( ! [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 26183-26195
( ! [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 12464-12469
( ! [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 2502-2510
( ! [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 13599-13604
( ! [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 18724-18732
( ! [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 21503-21512
( ! [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 23726-23730
( ! [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 13412-13421

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