( ! [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 |
