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