(<=>
(instance ?DISTRICT CityDistrict)
(exists (?CITY)
(and
(instance ?CITY City)
(geopoliticalSubdivision ?DISTRICT ?CITY)))) |
Mid-level-ontology.kif 9401-9406 |
X is an instance of city district if, only if there exists Y such that Y is an instance of city, and X is a geopolitical part of Y |
(=>
(and
(instance ?WAR CivilWar)
(contestParticipant ?WAR ?AGENT))
(exists (?NATION)
(and
(instance ?NATION Nation)
(geopoliticalSubdivision ?AGENT ?NATION)))) |
Mid-level-ontology.kif 21592-21599 |
If X is an instance of civil war and Y participates in X, then there exists Z such that Z is an instance of nation and Y is a geopolitical part of Z |
(=>
(and
(instance ?EXPORT Exporting)
(patient ?EXPORT ?ITEM)
(instance ?AREA1 GeopoliticalArea)
(holdsDuring
(BeginFn
(WhenFn ?EXPORT))
(located ?ITEM ?AREA1)))
(exists (?AREA2)
(and
(instance ?AREA2 GeopoliticalArea)
(not
(geopoliticalSubdivision ?AREA1 ?AREA2))
(not
(geopoliticalSubdivision ?AREA2 ?AREA1))
(holdsDuring
(EndFn
(WhenFn ?EXPORT))
(located ?ITEM ?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 |
(=>
(and
(instance ?IMPORT Importing)
(patient ?IMPORT ?ITEM)
(instance ?AREA1 GeopoliticalArea)
(holdsDuring
(BeginFn
(WhenFn ?IMPORT))
(located ?ITEM ?AREA1)))
(exists (?AREA2)
(and
(instance ?AREA2 GeopoliticalArea)
(not
(geopoliticalSubdivision ?AREA1 ?AREA2))
(not
(geopoliticalSubdivision ?AREA2 ?AREA1))
(holdsDuring
(EndFn
(WhenFn ?IMPORT))
(located ?ITEM ?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 |
(=>
(and
(instance ?GEO
(GeographicPartTypeFn ?TYPE ?AREA))
(subclass ?TYPE GeopoliticalArea)
(instance ?AREA GeopoliticalArea))
(geopoliticalSubdivision ?GEO ?AREA)) |
Geography.kif 8595-8600 |
If X is an instance of all the instances of Y in Z, Y is a subclass of geopolitical area, and Z is an instance of geopolitical area, then X is a geopolitical part of Z |
(=>
(dependentGeopoliticalArea ?AREA ?COUNTRY)
(not
(geopoliticalSubdivision ?AREA ?COUNTRY))) |
Government.kif 441-444 |
If X is a dependent of Y, then X is not a geopolitical part of Y |
