| appearance as argument number 1 |
|
|
| s__documentation(s__GeopoliticalArea,s__ChineseLanguage,'这是任何与某些政治架构有关的 GeographicArea。 这组类别包括：LandArea、City、城市的分区和县等等。注：一个 GeopoliticalArea 的特性在边界受到改变 以后可能仍然保持不变。')
|
Merge.kif 14003-14005 | |
| s__documentation(s__GeopoliticalArea,s__EnglishLanguage,'Any GeographicArea which is associated with some sort of political structure. This class includes LandArea, Cities, districts of cities, counties, etc. Note that the identity of a GeopoliticalArea may remain constant after a change in borders.')
|
Merge.kif 13999-14002 | |
| s__instance(s__Agent,s__SetOrClass)
|
Merge.kif 13998-13998 | |
| s__instance(s__GeographicArea,s__SetOrClass)
|
Merge.kif 13997-13997 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ( ! [V__A3,V__CURRENCY,V__A2,V__AREA] : ((s__codeMapping(s__ISO_4217_A,V__A3,V__CURRENCY) & s__codeMapping(s__ISO_3166_1_alpha_2,V__A2,V__AREA) & s__subclass(V__AREA,s__GeopoliticalArea) & (V__A2 = s__SubstringFn(V__A3,0,2))) => s__currencyType(V__AREA,V__CURRENCY)) )
|
Media.kif 2859-2865 | |
| ( ! [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__TYPE,V__AGENT2] : ((s__diplomaticOrganizationType(V__AGENT1,V__TYPE,V__AGENT2) & s__instance(V__AGENT1,s__Organization) & s__instance(V__AGENT2,s__GeopoliticalArea)) => (? [V__ORG] : (s__instance(V__ORG,V__TYPE) & s__located(V__ORG,V__AGENT2) & s__subOrganization(V__ORG,V__AGENT1)))) )
|
Government.kif 4595-4604 | |
| ( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] : ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2) & s__instance(V__AGENT1,s__GeopoliticalArea)) => s__employs(s__GovernmentFn(V__AGENT1) ,V__PERSON)) )
|
Government.kif 4423-4427 | |
| ( ! [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__Organization) & s__instance(V__AGENT2,s__GeopoliticalArea)) => s__agentOperatesInArea(V__AGENT1,V__AGENT2)) )
|
Government.kif 4441-4446 | |
| ( ! [V__AGENT1,V__PERSON,V__POSITION,V__AGENT2] : ((s__diplomaticRepresentativeInRole(V__AGENT1,V__PERSON,V__POSITION,V__AGENT2) & s__instance(V__AGENT2,s__GeopoliticalArea)) => s__agentOperatesInArea(V__PERSON,V__AGENT2)) )
|
Government.kif 4435-4439 | |
| ( ! [V__BRANCH,V__AREA,V__ORG] : ((s__executiveBranch(V__BRANCH,V__AREA) & s__instance(V__AREA,s__GeopoliticalArea) & s__subOrganization(V__ORG,V__BRANCH)) => s__subOrganization(V__ORG,s__GovernmentFn(V__AREA))) )
|
Government.kif 1273-1278 | |
| ( ! [V__BRANCH,V__AREA] : ((s__executiveBranch(V__BRANCH,V__AREA) & s__instance(V__AREA,s__GeopoliticalArea)) => s__instance(V__BRANCH,s__GovernmentOrganization)) )
|
Government.kif 1255-1259 | |
| ( ! [V__BRANCH,V__AREA] : ((s__executiveBranch(V__BRANCH,V__AREA) & s__instance(V__AREA,s__GeopoliticalArea)) => s__subOrganization(V__BRANCH,s__GovernmentFn(V__AREA))) )
|
Government.kif 1267-1271 | |
| ( ! [V__AGENT,V__TYPE] : ((s__governmentType(V__AGENT,V__TYPE) & s__subAttribute(V__TYPE,s__TheocraticGovernment) & s__instance(V__AGENT,s__GeopoliticalArea)) => s__instance(s__GovernmentFn(V__AGENT) ,s__ReligiousOrganization)) )
|
Government.kif 340-345 | |
| ( ! [V__PLACE,V__TYPE] : ((s__governmentType(V__PLACE,V__TYPE) & s__instance(V__PLACE,s__GeopoliticalArea) & s__subAttribute(V__TYPE,s__ParliamentaryGovernment)) => (? [V__ORG] : (s__instance(V__ORG,s__Parliament) & s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE))))) )
|
Government.kif 244-252 | |
| ( ! [V__PLACE] : ((s__governmentType(V__PLACE,s__AbsoluteMonarchy) & s__instance(V__PLACE,s__GeopoliticalArea)) => s__leaderPosition(V__PLACE,s__Monarch)) )
|
Government.kif 230-234 | |
| ( ! [V__AREA] : ((s__instance(s__ExecutiveBranchFn(V__AREA) ,s__Organization) & s__instance(V__AREA,s__GeopoliticalArea)) => s__executiveBranch(s__ExecutiveBranchFn(V__AREA) ,s__GovernmentFn(V__AREA))) )
|
Government.kif 1296-1300 | |
| ( ! [V__AREA] : ((s__instance(s__JudiciaryFn(V__AREA) ,s__Organization) & s__instance(V__AREA,s__GeopoliticalArea)) => s__judicialBranch(s__JudiciaryFn(V__AREA) ,s__GovernmentFn(V__AREA))) )
|
Government.kif 2115-2119 | |
| ( ! [V__AREA] : ((s__instance(s__LegislatureFn(V__AREA) ,s__Organization) & s__instance(V__AREA,s__GeopoliticalArea)) => s__legislativeBranch(s__LegislatureFn(V__AREA) ,s__GovernmentFn(V__AREA))) )
|
Government.kif 2010-2014 | |
| ( ! [V__AREA,V__CITIZENRY,V__POPULATION] : ((s__instance(V__AREA,s__GeopoliticalArea) & (V__CITIZENRY = s__CitizenryFn(V__AREA)) & (V__POPULATION = s__ResidentFn(V__AREA))) => s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY)) )
|
Mid-level-ontology.kif 7786-7791 | |
| ( ! [V__AREA,V__TYPE] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__governmentType(V__AREA,V__TYPE)) => s__attribute(s__GovernmentFn(V__AREA) ,V__TYPE)) )
|
Government.kif 142-146 | |
| ( ! [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(s__ExclusiveFishingZoneFn(V__AREA) ,s__ExclusiveFishingZone)) => s__claimedTerritory(s__ExclusiveFishingZoneFn(V__AREA) ,V__AREA)) )
|
Geography.kif 1141-1145 | |
| ( ! [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(s__ExtendedFishingZoneFn(V__AREA) ,s__ExtendedFishingZone)) => s__claimedTerritory(s__ExtendedFishingZoneFn(V__AREA) ,V__AREA)) )
|
Geography.kif 1172-1176 | |
| ( ! [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 | |
| ( ! [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(s__MaritimeContiguousZoneFn(V__AREA) ,s__MaritimeContiguousZone)) => s__claimedTerritory(s__MaritimeContiguousZoneFn(V__AREA) ,V__AREA)) )
|
Geography.kif 1036-1040 | |
| ( ! [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(s__MaritimeExclusiveEconomicZoneFn(V__AREA) ,s__MaritimeExclusiveEconomicZone)) => s__claimedTerritory(s__MaritimeExclusiveEconomicZoneFn(V__AREA) ,V__AREA)) )
|
Geography.kif 1110-1114 | |
| ( ! [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(s__MaritimeShelfAreaFn(V__AREA) ,s__MaritimeShelfArea)) => s__claimedTerritory(s__MaritimeShelfAreaFn(V__AREA) ,V__AREA)) )
|
Geography.kif 1078-1082 | |
| ( ! [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__instance(s__MerchantMarineFn(V__AREA) ,s__MerchantMarine)) => s__possesses(V__AREA,s__MerchantMarineFn(V__AREA))) )
|
Transportation.kif 925-929 | |
| 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 26-47 | |
| ( ! [V__AGENT] : ((s__instance(V__AGENT,s__Agent) & s__subclass(s__ElectionFn(V__AGENT) ,s__Election)) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 1652-1658 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2435-2448 | |
| ( ! [V__R,V__A] : ((s__instance(V__R,s__PoliticalRevolution) & s__patient(V__R,V__A)) => s__instance(V__A,s__GeopoliticalArea)) )
|
Mid-level-ontology.kif 11486-11490 | |
| ( ! [V__REL,V__CLASS] : ((s__instance(V__REL,s__EconomicRelation) & s__domain(V__REL,1,V__CLASS)) => s__subclass(V__CLASS,s__GeopoliticalArea)) )
|
Mid-level-ontology.kif 14460-14464 | |
| ( ! [V__WAR,V__AGENT] : ((s__instance(V__WAR,s__War) & s__agent(V__WAR,V__AGENT)) => (s__instance(V__AGENT,s__GeopoliticalArea) | (s__instance(V__AGENT,s__Organization) & (! [V__MEMBER] : (s__member(V__MEMBER,V__AGENT) => s__instance(V__MEMBER,s__GeopoliticalArea)))))) )
|
Merge.kif 13271-13282 | |
| ( ! [V__AGENT] : ((s__member(V__AGENT,s__InternationalCourtOfJustice) & s__attribute(V__AGENT,s__JudgeAtLaw)) => (? [V__POLITY] : (s__instance(V__POLITY,s__GeopoliticalArea) & s__representativeAgentToAgent(V__POLITY,V__AGENT,s__InternationalCourtOfJustice)))) )
|
Government.kif 3403-3410 | |
| ( ! [V__PERSON] : (s__attribute(V__PERSON,s__Monarch) => (? [V__PLACE] : (s__instance(V__PLACE,s__GeopoliticalArea) & s__governmentType(V__PLACE,s__Monarchy) & s__chiefOfState(V__PLACE,s__Monarch,V__PERSON)))) )
|
Government.kif 1323-1329 | |
| ( ! [V__AGENT,V__ATTRIBUTE] : (s__economyType(V__AGENT,V__ATTRIBUTE) => (s__instance(V__AGENT,s__GeopoliticalArea) | s__instance(V__AGENT,s__Organization))) )
|
Economy.kif 91-95 | |
| ( ! [V__FY,V__PLACE] : ((V__FY = s__FiscalYearFn(V__PLACE)) => (s__instance(V__PLACE,s__GeopoliticalArea) | s__instance(V__PLACE,s__Organization))) )
|
Economy.kif 3707-3711 | |
| ( ! [V__FY,V__PLACE,V__YEAR] : ((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR)) => (s__instance(V__PLACE,s__GeopoliticalArea) | s__instance(V__PLACE,s__Organization))) )
|
Economy.kif 3733-3737 | |
| ( ! [V__BRANCH,V__AGENT] : (s__executiveBranch(V__BRANCH,V__AGENT) => (s__instance(V__BRANCH,s__GeopoliticalArea) | s__instance(V__BRANCH,s__Organization))) )
|
Government.kif 1249-1253 | |
| ( ! [V__AGENT,V__TYPE] : (s__governmentType(V__AGENT,V__TYPE) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 136-140 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1335-1350 | |
| ( ! [V__MILITARY] : (s__instance(V__MILITARY,s__MilitaryOrganization) => (? [V__AREA] : (s__instance(V__AREA,s__GeopoliticalArea) & s__militaryOfArea(V__MILITARY,V__AREA)))) )
|
Military.kif 788-793 | |
| ( ! [V__TREATY] : (s__instance(V__TREATY,s__TreatyDocument) => (? [V__COMM,V__COUNTRY1,V__COUNTRY2] : (s__instance(V__COMM,s__Committing) & s__patient(V__COMM,V__TREATY) & s__instance(V__COUNTRY1,s__GeopoliticalArea) & s__agent(V__COMM,V__COUNTRY1) & s__instance(V__COUNTRY2,s__GeopoliticalArea) & s__agent(V__COMM,V__COUNTRY2) & (~ (V__COUNTRY1 = V__COUNTRY2))))) )
|
Geography.kif 2885-2895 | |
| ( ! [V__BRANCH,V__AGENT] : (s__judicialBranch(V__BRANCH,V__AGENT) => (s__instance(V__BRANCH,s__GeopoliticalArea) | s__instance(V__BRANCH,s__Organization))) )
|
Government.kif 2062-2066 | |
| ( ! [V__ORG,V__AGENT] : (s__legislativeBranch(V__ORG,V__AGENT) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 1967-1971 | |
| ( ! [V__AGENT,V__AGE] : (s__suffrageAgeMaximum(V__AGENT,V__AGE) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 1008-1012 | |
| ( ! [V__AGENT,V__AGE] : (s__suffrageAgeMinimum(V__AGENT,V__AGE) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 944-948 |
|
|
|