Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GeopoliticalArea(geopolitical area) |  | Anguilla, Anguillan, Baltic, Bloomsbury, Boeotian, Bosnian, Byzantine, Cambrian, Catalan, Croatian, Cyprian, Cypriot, Cypriote, Dar_al-Islam, Dipylon, Gallic, Georgian, Hollywood, House_of_Islam, Indian_reservation, Latin, Lilliputian, Macedonian, Manchurian, Numidia, Ottoman_Empire, Palestinian, Prussian, Scotch, Scots, Scottish, Serbian, Slovenian, SoHo, Soho, South_of_Houston, Sumerian, Tibetan, Turkish_Empire, Welsh, Wembley, abbacy, archbishopric, archdeaconry, archdiocese, archduchy, associated_state, bailiwick, barony, bishopric... |
| appearance as argument number 1 |
|
|
| s__subclass(s__GeopoliticalArea,s__GeographicArea)
|
Merge.kif 14367-14367 | Geopolitical area is a subclass of geographic area |
| s__subclass(s__GeopoliticalArea,s__AutonomousAgent)
|
Merge.kif 14368-14368 | Geopolitical area is a subclass of agent |
| 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 14369-14372 | Geopolitical area is a subclass of agent |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| ! [V__PERSON,V__AREA] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(s__GovernmentFn(V__AREA) ,V__PERSON)) => s__leader(V__AREA,V__PERSON))) )
|
Merge.kif 14374-14378 | If X is an instance of geopolitical area and Y is a leader of the government of X, then Y is a leader of X |
| ! [V__PERSON,V__AREA] : ((s__instance(V__PERSON,s__Human) => ((s__instance(V__AREA,s__GeopoliticalArea) & s__leader(V__AREA,V__PERSON)) => s__leader(s__GovernmentFn(V__AREA) ,V__PERSON))) )
|
Merge.kif 14380-14384 | If X is an instance of geopolitical area and Y is a leader of X, then Y is a leader of the government of X |
| ! [V__EVENT,V__AGENT] : (((s__instance(V__EVENT,s__Election) & s__agent(V__EVENT,V__AGENT) & s__instance(V__AGENT,s__GeopoliticalArea)) => s__instance(V__EVENT,s__PoliticalProcess)) )
|
Merge.kif 14386-14391 | If X is an instance of election, Y is an agent of X, and Y is an instance of geopolitical area, then X is an instance of political process |
| ! [V__AGENT,V__EVENT,V__AREA] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__EVENT,s__Election) & s__agent(V__EVENT,V__AGENT) & s__instance(V__AREA,s__GeopoliticalArea) & s__instance(V__AGENT,s__GovernmentFn(V__AREA))) => s__instance(V__EVENT,s__PoliticalProcess))) )
|
Merge.kif 14393-14399 | If X is an instance of election, Y is an agent of X, Z is an instance of geopolitical area, and Y is an instance of the government of Z, then X is an instance of political process |
| ! [V__CITIZENRY,V__POPULATION,V__AREA] : (((s__instance(V__CITIZENRY,s__Integer) & s__instance(V__POPULATION,s__Integer)) => ((s__instance(V__AREA,s__GeopoliticalArea) & (V__CITIZENRY = s__CardinalityFn(s__CitizenryFn(V__AREA))) & (V__POPULATION = s__CardinalityFn(s__ResidentFn(V__AREA)))) => s__greaterThanOrEqualTo(V__POPULATION,V__CITIZENRY))) )
|
Mid-level-ontology.kif 9366-9373 | If X is an instance of geopolitical area, equal Y and the number of instances in the citizenry of X, and equal Z and the number of instances in the resident of X, then Z is greater than or equal to Y |
| ! [V__AREA : $i,V__EXPORT : $i,V__ITEM : $i] : (((s__instance(V__EXPORT, s__Exporting) & s__patient(V__EXPORT, V__ITEM) & s__instance(V__AREA, s__GeopoliticalArea) & s__origin(V__EXPORT, V__AREA)) => s__holdsDuring(s__BeginFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA)))) | Economy.kif 2647-2654 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X originates at Z, then Y is located at Z holds during the beginning of the time of existence of X |
| ! [V__AREA : $i,V__EXPORT : $i,V__ITEM : $i] : (((s__instance(V__EXPORT, s__Exporting) & s__patient(V__EXPORT, V__ITEM) & s__instance(V__AREA, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA))) => s__holdsDuring(s__EndFn(s__WhenFn(V__EXPORT)), ~(s__located(V__ITEM, V__AREA))))) | Economy.kif 2656-2665 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then Y is not located at Z holds during the end of the time of existence of X |
| ! [V__AREA1 : $i,V__EXPORT : $i,V__ITEM : $i] : (((s__instance(V__EXPORT, s__Exporting) & s__patient(V__EXPORT, V__ITEM) & s__instance(V__AREA1, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA1))) => ( ? [V__AREA2:$i] : ((s__instance(V__AREA2, s__GeopoliticalArea) & ~(s__geopoliticalSubdivision(V__AREA1, V__AREA2)) & ~(s__geopoliticalSubdivision(V__AREA2, V__AREA1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA2))))))) | Economy.kif 2667-2680 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X |
| ! [V__AREA : $i,V__EXPORT : $i,V__ITEM : $i] : (((s__instance(V__EXPORT, s__Exporting) & s__patient(V__EXPORT, V__ITEM) & s__instance(V__AREA, s__GeopoliticalArea) & s__destination(V__EXPORT, V__AREA)) => s__holdsDuring(s__EndFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA)))) | Economy.kif 2682-2689 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| ! [V__AREA1 : $i,V__AREA2 : $i,V__EXPORT : $i,V__ITEM : $i] : (((s__instance(V__EXPORT, s__Exporting) & s__patient(V__EXPORT, V__ITEM) & s__instance(V__AREA1, s__GeopoliticalArea) & s__instance(V__AREA2, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA2))) => ~(s__located(V__AREA2, V__AREA1)))) | Economy.kif 2691-2701 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) W is an instance of geopolitical area (5) Y is located at Z holds during the beginning of the time of existence of X (6) Y is located at W holds during the end of the time of existence of X, then W is not located at Z |
| ! [V__EXPORT,V__ITEM,V__AREA1,V__AREA2] : (((s__instance(V__EXPORT,s__Exporting) & s__patient(V__EXPORT,V__ITEM) & s__instance(V__AREA1,s__GeopoliticalArea) & s__origin(V__EXPORT,V__AREA1) & s__instance(V__AREA2,s__GeopoliticalArea) & s__destination(V__EXPORT,V__AREA2)) => ~((V__AREA1 = V__AREA2))) )
|
Economy.kif 2703-2711 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then equal Z and W |
| ! [V__EXPORT,V__ITEM,V__AREA1,V__AREA2] : (((s__instance(V__EXPORT,s__Exporting) & s__patient(V__EXPORT,V__ITEM) & s__instance(V__AREA1,s__GeopoliticalArea) & s__origin(V__EXPORT,V__AREA1) & s__instance(V__AREA2,s__GeopoliticalArea) & s__destination(V__EXPORT,V__AREA2)) => ~(s__located(V__AREA2,V__AREA1))) )
|
Economy.kif 2713-2721 | If All of the following hold: (1) X is an instance of exporting (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) X originates at Z (5) W is an instance of geopolitical area (6) X ends up at W, then W is not located at Z |
| ! [V__AREA : $i,V__IMPORT : $i,V__ITEM : $i] : (((s__instance(V__IMPORT, s__Importing) & s__patient(V__IMPORT, V__ITEM) & s__instance(V__AREA, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__IMPORT)), ~(s__located(V__ITEM, V__AREA)))) => s__holdsDuring(s__EndFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA)))) | Economy.kif 2813-2826 | If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is not located at Z holds during the beginning of the time of existence of X, then Y is located at Z holds during the end of the time of existence of X |
| ! [V__AREA1 : $i,V__IMPORT : $i,V__ITEM : $i] : (((s__instance(V__IMPORT, s__Importing) & s__patient(V__IMPORT, V__ITEM) & s__instance(V__AREA1, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA1))) => ( ? [V__AREA2:$i] : ((s__instance(V__AREA2, s__GeopoliticalArea) & ~(s__geopoliticalSubdivision(V__AREA1, V__AREA2)) & ~(s__geopoliticalSubdivision(V__AREA2, V__AREA1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA2))))))) | Economy.kif 2827-2846 | If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X |
| ! [V__AREA : $i,V__IMPORT : $i,V__ITEM : $i] : (((s__instance(V__IMPORT, s__Importing) & s__patient(V__IMPORT, V__ITEM) & s__instance(V__AREA, s__GeopoliticalArea) & s__destination(V__IMPORT, V__AREA)) => s__holdsDuring(s__EndFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA)))) | Economy.kif 2847-2856 | If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| ! [V__AREA1 : $i,V__AREA2 : $i,V__IMPORT : $i,V__ITEM : $i] : (((s__instance(V__IMPORT, s__Importing) & s__patient(V__IMPORT, V__ITEM) & s__instance(V__AREA1, s__GeopoliticalArea) & s__instance(V__AREA2, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA2))) => ~(s__located(V__AREA2, V__AREA1)))) | Economy.kif 2857-2872 | If All of the following hold: (1) X is an instance of importing (2) Y is a patient of X (3) Z is an instance of geopolitical area (4) W is an instance of geopolitical area (5) Y is located at Z holds during the beginning of the time of existence of X (6) Y is located at W holds during the end of the time of existence of X, then W is not located at Z |
| ! [V__IMPORT,V__AREA1,V__AREA2] : (((s__instance(V__IMPORT,s__Importing) & s__instance(V__AREA1,s__GeopoliticalArea) & s__origin(V__IMPORT,V__AREA1) & s__instance(V__AREA2,s__GeopoliticalArea) & s__destination(V__IMPORT,V__AREA2)) => ~((V__AREA1 = V__AREA2))) )
|
Economy.kif 2873-2881 | If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then equal Y and Z |
| ! [V__IMPORT,V__AREA1,V__AREA2] : (((s__instance(V__IMPORT,s__Importing) & s__instance(V__AREA1,s__GeopoliticalArea) & s__origin(V__IMPORT,V__AREA1) & s__instance(V__AREA2,s__GeopoliticalArea) & s__destination(V__IMPORT,V__AREA2)) => ~(s__located(V__AREA2,V__AREA1))) )
|
Economy.kif 2882-2890 | If X is an instance of importing, Y is an instance of geopolitical area, X originates at Y, Z is an instance of geopolitical area, and X ends up at Z, then Z is not located at Y |
| ! [V__region] : ((s__instance(V__region,s__GeopoliticalArea) => s__instance(s__MaritimeClaimsTerritorialSeaFn(V__region) ,s__PerimeterAreaFn(V__region))) )
|
Geography.kif 2258-2260 | If X is an instance of geopolitical area, then the maritime claims territorial sea of X is an instance of the perimeter area of X |
| ! [V__region] : ((s__instance(V__region,s__GeopoliticalArea) => s__instance(s__MaritimeClaimsTerritorialSeaFn(V__region) ,s__UniformPerimeterArea)) )
|
Geography.kif 2262-2264 | If X is an instance of geopolitical area, then the maritime claims territorial sea of X is an instance of uniform perimeter area |
| ! [V__AREA] : (((s__instance(V__AREA,s__LandlockedArea) & s__instance(V__AREA,s__GeopoliticalArea)) => ~((? [V__CLAIM] : ((s__instance(V__CLAIM,s__MaritimeClaimArea) & s__claimedTerritory(V__CLAIM,V__AREA)))))) )
|
Geography.kif 2382-2390 | If X is an instance of landlocked area and X is an instance of geopolitical area, then there doesn't exist Y such that Y is an instance of maritime claim area and X is a claimed territory of Y |
| ! [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 2507-2511 | If X is an instance of geopolitical area and the maritime contiguous zone of X is an instance of maritime contiguous zone, then X is a claimed territory of the maritime contiguous zone of X |
| ! [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 2549-2553 | If X is an instance of geopolitical area and the maritime shelf area of X is an instance of maritime shelf area, then X is a claimed territory of the maritime shelf area of X |
| ! [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 2582-2586 | If X is an instance of geopolitical area and the maritime exclusive economic zone of X is an instance of maritime exclusive economic zone, then X is a claimed territory of the maritime exclusive economic zone of X |
| ! [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 2614-2618 | If X is an instance of geopolitical area and the exclusive fishing zone of X is an instance of exclusive fishing zone, then X is a claimed territory of the exclusive fishing zone of X |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ! [V__AGENT,V__WAR] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__AGENT,s__Collection)) => ((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 13648-13659 | If X is an instance of war and Y is an agent of X, then Y is an instance of geopolitical area or Y is an instance of organization and For all Physical Z: if Z is a member of Y, then Z is an instance of geopolitical area |
| ! [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 15483-15487 | If X is an instance of political revolution and Y is a patient of X, then Y is an instance of geopolitical area |
| ! [V__CLASS,V__REL] : ((s__instance(V__CLASS,s__Class) => ((s__instance(V__REL,s__EconomicRelation) & s__domain(V__REL,n__1,V__CLASS)) => s__subclass(V__CLASS,s__GeopoliticalArea))) )
|
Mid-level-ontology.kif 18523-18527 | If X is an instance of economic relation and the number 1 argument of X is an instance of Y, then Y is a subclass of geopolitical area |
| ! [V__AGENT,V__ATTRIBUTE] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__ATTRIBUTE,s__EconomicAttribute)) => (s__economyType(V__AGENT,V__ATTRIBUTE) => (s__instance(V__AGENT,s__GeopoliticalArea) | s__instance(V__AGENT,s__Organization)))) )
|
Economy.kif 91-95 | If X is an economy type of Y, then Y is an instance of geopolitical area or Y is an instance of organization |
| ! [V__COMMUNIST : $i,V__COUNTRY : $i,V__MEANOFPRODUCTION : $i,V__OBJ : $i] : ((s__member(V__COMMUNIST, s__Communism) => s__believes(V__COMMUNIST, ((s__instance(V__MEANOFPRODUCTION, s__MeanOfProduction) & s__attribute(V__OBJ, V__MEANOFPRODUCTION) & s__instance(V__COUNTRY, s__GeopoliticalArea) & s__located(V__OBJ, V__COUNTRY)) => s__element(V__OBJ, s__PropertyFn(s__CitizenryFn(V__COUNTRY))))))) | Economy.kif 880-889 | If X is a member of communism, then X believes Y is an instance of mean of production, Y is an attribute of Z, W is an instance of geopolitical area, and Z is located at WZ is an element of belongings of the citizenry of W |
| ! [V__CAPITALIST : $i] : ((s__member(V__CAPITALIST, s__Capitalism) => s__believes(V__CAPITALIST, ( ? [V__MEANOFPRODUCTION:$i, V__OBJ:$i, V__COUNTRY:$i, V__AA:$i] : ((s__instance(V__MEANOFPRODUCTION, s__MeanOfProduction) & s__attribute(V__OBJ, V__MEANOFPRODUCTION) & s__instance(V__COUNTRY, s__GeopoliticalArea) & s__located(V__OBJ, V__COUNTRY) & s__instance(V__AA, s__AutonomousAgent) & s__element(V__OBJ, s__PropertyFn(V__AA)) & ~(V__AA = s__CitizenryFn(V__COUNTRY)))))))) | Economy.kif 905-917 | If X is a member of capitalism, then All of the following hold: (1) X believes there exist Y, Z,, , W (2) V such that Y is an instance of mean of production (3) Y is an attribute of Z (4) W is an instance of geopolitical area (5) Z is located at W (6) V is an instance of agent (7) Z is an element of belongings of V (8) equal V (9) the citizenry of W |
| ! [V__AREA1 : $i,V__EXPORT : $i,V__ITEM : $i] : (((s__instance(V__EXPORT, s__Exporting) & s__patient(V__EXPORT, V__ITEM) & s__instance(V__AREA1, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA1))) => ( ? [V__AREA2:$i] : ((s__instance(V__AREA2, s__GeopoliticalArea) & ~(s__geopoliticalSubdivision(V__AREA1, V__AREA2)) & ~(s__geopoliticalSubdivision(V__AREA2, V__AREA1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__EXPORT)), s__located(V__ITEM, V__AREA2))))))) | Economy.kif 2667-2680 | If X is an instance of exporting, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X |
| ! [V__AREA1 : $i,V__IMPORT : $i,V__ITEM : $i] : (((s__instance(V__IMPORT, s__Importing) & s__patient(V__IMPORT, V__ITEM) & s__instance(V__AREA1, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA1))) => ( ? [V__AREA2:$i] : ((s__instance(V__AREA2, s__GeopoliticalArea) & ~(s__geopoliticalSubdivision(V__AREA1, V__AREA2)) & ~(s__geopoliticalSubdivision(V__AREA2, V__AREA1)) & s__holdsDuring(s__EndFn(s__WhenFn(V__IMPORT)), s__located(V__ITEM, V__AREA2))))))) | Economy.kif 2827-2846 | If X is an instance of importing, Y is a patient of X, Z is an instance of geopolitical area, and Y is located at Z holds during the beginning of the time of existence of X, then there exists W such that W is an instance of geopolitical area, Z is not a geopolitical part of W, W is not a geopolitical part of Z, and Y is located at W holds during the end of the time of existence of X |
| ! [V__FY,V__PLACE] : (((s__subclass(V__FY,s__TimeInterval) & s__instance(V__PLACE,s__AutonomousAgent)) => ((V__FY = s__FiscalYearFn(V__PLACE)) => (s__instance(V__PLACE,s__GeopoliticalArea) | s__instance(V__PLACE,s__Organization)))) )
|
Economy.kif 4036-4040 | If equal X and the fiscal year of Y, then Y is an instance of geopolitical area or Y is an instance of organization |
| ! [V__FY,V__PLACE,V__YEAR] : (((s__instance(V__FY,s__TimeInterval) & s__instance(V__PLACE,s__AutonomousAgent) & s__subclass(V__YEAR,s__Year)) => ((V__FY = s__FiscalYearStartingFn(V__PLACE,V__YEAR)) => (s__instance(V__PLACE,s__GeopoliticalArea) | s__instance(V__PLACE,s__Organization)))) )
|
Economy.kif 4064-4068 | If equal X, the fiscal year starting of Y, and Z, then Y is an instance of geopolitical area or Y is an instance of organization |
| ! [V__GPA,V__M,V__PRODUCT,V__MAKER,V__Y,V__SERVICE,V__PROVIDER,V__GAS] : (((s__instance(V__GPA,s__GeopoliticalArea) & s__instance(V__M,s__Process) & s__instance(V__PRODUCT,s__Physical) & s__instance(V__MAKER,s__AutonomousAgent) & s__instance(V__Y,s__TimeInterval) & s__instance(V__SERVICE,s__Object) & s__instance(V__SERVICE,s__Process) & s__instance(V__PROVIDER,s__AutonomousAgent)) => (s__instance(V__GAS,s__GoodsAndServices) => (s__instance(V__GPA,s__GeopoliticalArea) & ((s__instance(V__M,s__Manufacture) & s__result(V__M,V__PRODUCT) & s__agent(V__M,V__MAKER) & s__member(V__MAKER,s__CitizenryFn(V__GPA)) & s__finishesDuring(s__WhenFn(V__M) ,V__Y) & s__located(V__M,V__GPA)) => s__member(V__PRODUCT,V__GAS)) & ((s__instance(V__SERVICE,s__Process) & s__attribute(V__SERVICE,s__ServiceInEconomics) & s__agent(V__SERVICE,V__PROVIDER) & s__member(V__PROVIDER,s__CitizenryFn(V__GPA)) & s__finishesDuring(s__WhenFn(V__SERVICE) ,V__Y) & s__located(V__SERVICE,V__GPA)) => s__member(V__SERVICE,V__GAS))))) )
|
Economy.kif 6921-6942 | If X is an instance of goods and services, then Y is an instance of geopolitical area, if All of the following hold: (1) Z is an instance of manufacture (2) W is a result of Z (3) V is an agent of Z (4) V is a member of the citizenry of Y (5) finishes during the time of existence of Z and U (6) Z is located at Y, then W is a member of X, and if All of the following hold: (1) T is an instance of process (2) service is an attribute of T (3) S is an agent of T (4) S is a member of the citizenry of Y (5) finishes during the time of existence of T and U (6) T is located at Y, then T is a member of X |
| ! [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 4471-4481 | If X is an instance of treaty document, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of committing (3) X is a patient of Y (4) Z is an instance of geopolitical area (5) Z is an agent of Y (6) W is an instance of geopolitical area (7) W is an agent of Y (8) equal Z (9) W |
| ! [V__AGENT,V__TYPE] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__TYPE,s__FormOfGovernment)) => (s__governmentType(V__AGENT,V__TYPE) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea)))) )
|
Government.kif 136-140 | If X is a government type of Y, then Y is an instance of organization or Y is an instance of geopolitical area |
| ! [V__AGENT,V__AGE] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__AGE,s__TimeDuration)) => (s__suffrageAgeMinimum(V__AGENT,V__AGE) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea)))) )
|
Government.kif 922-926 | If X is a suffrage age minimum of Y, then Y is an instance of organization or Y is an instance of geopolitical area |
| ! [V__AGENT,V__AGE] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__instance(V__AGE,s__TimeDuration)) => (s__suffrageAgeMaximum(V__AGENT,V__AGE) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea)))) )
|
Government.kif 994-998 | If X is a suffrage age maximum of Y, then Y is an instance of organization or Y is an instance of geopolitical area |
| ! [V__BRANCH,V__AGENT] : (((s__instance(V__BRANCH,s__Organization) & s__instance(V__AGENT,s__AutonomousAgent)) => (s__executiveBranch(V__BRANCH,V__AGENT) => (s__instance(V__BRANCH,s__GeopoliticalArea) | s__instance(V__BRANCH,s__Organization)))) )
|
Government.kif 1260-1264 | If X is an executive branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization |
| ! [V__PERSON] : ((s__instance(V__PERSON,s__Human) => (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 1334-1340 | If monarch is an attribute of X, then there exists Y such that Y is an instance of geopolitical area, monarchy is a government type of Y, and Y chief of state monarch for X |
| ! [V__C : $i] : ((s__instance(V__C, s__Coronation) => ( ? [V__PERSON:$i, V__PLACE:$i] : ((s__instance(V__PERSON, s__Human) & s__patient(V__C, V__PERSON) & s__instance(V__PLACE, s__GeopoliticalArea) & s__holdsDuring(s__BeginFn(s__WhenFn(V__C)), ~(s__chiefOfState(V__PLACE, s__Monarch, V__PERSON))) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__chiefOfState(V__PLACE, s__Monarch, V__PERSON))))))) | Government.kif 1346-1361 | If X is an instance of coronation, then there exist Y, Z such that Y is an instance of human, Y is a patient of X, Z is an instance of geopolitical area, Z doesn't chief of state monarch for Y holds during the beginning of the time of existence of X, and Z chief of state monarch for Y holds during immediately after the time of existence of X |
| ! [V__AGENT] : (((s__instance(V__AGENT,s__AutonomousAgent) & s__subclass(s__ElectionFn(V__AGENT) ,s__Election)) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea))) )
|
Government.kif 1663-1669 | If X is an instance of agent and the election of X is a subclass of election, then X is an instance of organization or X is an instance of geopolitical area |
| ! [V__ORG,V__AGENT] : (((s__instance(V__ORG,s__Organization) & s__instance(V__AGENT,s__AutonomousAgent)) => (s__legislativeBranch(V__ORG,V__AGENT) => (s__instance(V__AGENT,s__Organization) | s__instance(V__AGENT,s__GeopoliticalArea)))) )
|
Government.kif 1978-1982 | If X is a legislative branch of Y, then X is an instance of organization or X is an instance of geopolitical area |
| ! [V__BRANCH,V__AGENT] : (((s__instance(V__BRANCH,s__Organization) & s__instance(V__AGENT,s__AutonomousAgent)) => (s__judicialBranch(V__BRANCH,V__AGENT) => (s__instance(V__BRANCH,s__GeopoliticalArea) | s__instance(V__BRANCH,s__Organization)))) )
|
Government.kif 2073-2077 | If X is a judicial branch of Y, then Y is an instance of geopolitical area or Y is an instance of organization |
| ! [V__AGENT] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((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 3458-3465 | If X is a member of international court of justice and judge is an attribute of X, then there exists Y such that Y is an instance of geopolitical area and Y is representative agent to agent X for international court of justice |
| ! [V__X] : (((s__attribute(V__X,s__DutyFree) & s__instance(V__X,s__Store)) => (? [V__AREA,V__OBJ,V__O,V__SELL] : ((s__instance(V__O,s__Class) & s__subclass(V__O,s__Object) & (s__instance(V__AREA,s__GeopoliticalArea) & s__located(V__X,V__AREA) & s__subclass(V__O,s__Object) & s__importCommodityType(V__AREA,V__O) & s__instance(V__OBJ,V__O) & s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__OBJ) & s__located(V__SELL,V__X)))))) )
|
Hotel.kif 1489-1502 | If duty free is an attribute of X and X is an instance of store, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of geopolitical area (3) X is located at Y (4) W is a subclass of object (5) W is an import commodity type of Y (6) Z is an instance of W (7) V is an instance of selling (8) Z is a patient of V (9) V is located at X |
| ! [V__MILITARY] : ((s__instance(V__MILITARY,s__MilitaryOrganization) => (? [V__AREA] : ((s__instance(V__AREA,s__GeopoliticalArea) & s__militaryOfArea(V__MILITARY,V__AREA))))) )
|
Military.kif 1055-1060 | If X is an instance of military organization, then there exists Y such that Y is an instance of geopolitical area and Y is a military of area of X |
| ! [V__PERSON : $i,V__PLACE : $i,V__RESIDENCE : $i,V__T1 : $i] : (((s__holdsDuring(V__T1, (s__attribute(V__PERSON, s__DislocatedCivilian) & s__inhabits(V__PERSON, V__RESIDENCE) & s__located(V__RESIDENCE, V__PLACE))) & s__instance(V__PLACE, s__GeographicArea) & s__instance(V__T1, s__TimeInterval)) => ( ? [V__T0:$i, V__PRIOR_PLACE:$i, V__PRIOR_RES:$i] : ((s__instance(V__T0, s__TimeInterval) & s__earlier(V__T0, V__T1) & s__instance(V__PRIOR_RES, s__Object) & s__instance(V__PRIOR_PLACE, s__GeopoliticalArea) & s__located(V__PRIOR_RES, V__PRIOR_PLACE) & ~(V__PLACE = V__PRIOR_PLACE) & ~(V__RESIDENCE = V__PRIOR_RES) & ~(s__geographicSubregion(V__PLACE, V__PRIOR_PLACE)) & ~(s__geographicSubregion(V__PRIOR_PLACE, V__PLACE)) & s__holdsDuring(V__T0, s__inhabits(V__PERSON, V__PRIOR_RES))))))) | MilitaryPersons.kif 26-47 | If dislocated civilian is an attribute of X, X lives in Y, and Y is located at Z holds during W, Z is an instance of geographic area, and W is an instance of timeframe, then All of the following hold: (1) there exist V, ?PRIOR_PLACE (2) ?PRIOR_RES such that V is an instance of timeframe (3) V happens earlier than W (4) ?PRIOR_RES is an instance of object (5) ?PRIOR_PLACE is an instance of geopolitical area (6) ?PRIOR_RES is located at ?PRIOR_PLACE (7) equal Z (8) ?PRIOR_PLACE (9) equal Y (10) ?PRIOR_RES (11) Z is not a geographic subregion of ?PRIOR_PLACE (12) ?PRIOR_PLACE is not a geographic subregion of Z (13) X lives in ?PRIOR_RES holds during V |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|