| GeopoliticalArea | |
| appearance as argument number 1 |
|
|
| (documentation GeopoliticalArea ChineseLanguage "这是任何与某些政治架构有关的 GeographicArea。 这组类别包括：LandArea、City、城市的分区和县等等。注：一个 GeopoliticalArea 的特性在边界受到改变 以后可能仍然保持不变。") | chinese_format.kif 1440-1442 | |
| (documentation GeopoliticalArea 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 14193-14196 | |
| (subclass GeopoliticalArea AutonomousAgent) | Merge.kif 14192-14192 | |
| (subclass GeopoliticalArea GeographicArea) | Merge.kif 14191-14191 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (and (attribute ?X DutyFree) (instance ?X Store)) (exists (?AREA ?OBJ ?O ?SELL) (and (instance ?AREA GeopoliticalArea) (located ?X ?AREA) (subclass ?O Object) (importCommodityType ?AREA ?O) (instance ?OBJ ?O) (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X)))) |
Hotel.kif 1489-1502 | |
| (=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR_PLACE ?PRIOR_RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR_RES Object) (instance ?PRIOR_PLACE GeopoliticalArea) (located ?PRIOR_RES ?PRIOR_PLACE) (not (equal ?PLACE ?PRIOR_PLACE)) (not (equal ?RESIDENCE ?PRIOR_RES)) (not (geographicSubregion ?PLACE ?PRIOR_PLACE)) (not (geographicSubregion ?PRIOR_PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR_RES))))) |
MilitaryPersons.kif 26-47 | |
| (=> (and (instance ?AGENT AutonomousAgent) (subclass (ElectionFn ?AGENT) Election)) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1654-1660 | |
| (=> (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 2672-2685 | |
| (=> (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 2832-2851 | |
| (=> (and (instance ?R PoliticalRevolution) (patient ?R ?A)) (instance ?A GeopoliticalArea)) |
Mid-level-ontology.kif 15271-15275 | |
| (=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea)) |
Mid-level-ontology.kif 18312-18316 | |
| (=> (and (instance ?TRANS Buying) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (agent ?TRANS ?BUYER) (origin ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION))))) |
UXExperimentalTerms.kif 1841-1858 | |
| (=> (and (instance ?TRANS Selling) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER AutonomousAgent) (instance ?SELLER AutonomousAgent) (destination ?TRANS ?BUYER) (agent ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION))))) |
UXExperimentalTerms.kif 1822-1839 | |
| (=> (and (instance ?WAR War) (agent ?WAR ?AGENT)) (or (instance ?AGENT GeopoliticalArea) (and (instance ?AGENT Organization) (forall (?MEMBER) (=> (member ?MEMBER ?AGENT) (instance ?MEMBER GeopoliticalArea)))))) |
Merge.kif 13477-13488 | |
| (=> (and (member ?AGENT InternationalCourtOfJustice) (attribute ?AGENT JudgeAtLaw)) (exists (?POLITY) (and (instance ?POLITY GeopoliticalArea) (representativeAgentToAgent ?POLITY ?AGENT InternationalCourtOfJustice)))) |
Government.kif 3427-3434 | |
| (=> (attribute ?PERSON Monarch) (exists (?PLACE) (and (instance ?PLACE GeopoliticalArea) (governmentType ?PLACE Monarchy) (chiefOfState ?PLACE Monarch ?PERSON)))) |
Government.kif 1325-1331 | |
| (=> (economyType ?AGENT ?ATTRIBUTE) (or (instance ?AGENT GeopoliticalArea) (instance ?AGENT Organization))) |
Economy.kif 91-95 | |
| (=> (equal ?FY (FiscalYearFn ?PLACE)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization))) |
Economy.kif 4041-4045 | |
| (=> (equal ?FY (FiscalYearStartingFn ?PLACE ?YEAR)) (or (instance ?PLACE GeopoliticalArea) (instance ?PLACE Organization))) |
Economy.kif 4069-4073 | |
| (=> (executiveBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 1251-1255 | |
| (=> (governmentType ?AGENT ?TYPE) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 136-140 | |
| (=> (instance ?C Coronation) (exists (?PERSON ?PLACE) (and (instance ?PERSON Human) (patient ?C ?PERSON) (instance ?PLACE GeopoliticalArea) (holdsDuring (BeginFn (WhenFn ?C)) (not (chiefOfState ?PLACE Monarch ?PERSON))) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (chiefOfState ?PLACE Monarch ?PERSON))))) |
Government.kif 1337-1352 | |
| (=> (instance ?GAS GoodsAndServices) (and (instance ?GPA GeopoliticalArea) (=> (and (instance ?M Manufacture) (result ?M ?PRODUCT) (agent ?M ?MAKER) (member ?MAKER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?M) ?Y) (located ?M ?GPA)) (member ?PRODUCT ?GAS)) (=> (and (instance ?SERVICE Process) (attribute ?SERVICE ServiceInEconomics) (agent ?SERVICE ?PROVIDER) (member ?PROVIDER (CitizenryFn ?GPA)) (finishesDuring (WhenFn ?SERVICE) ?Y) (located ?SERVICE ?GPA)) (member ?SERVICE ?GAS)))) |
Economy.kif 6905-6926 | |
| (=> (instance ?GXT GlobalCrossFunctionalTeam) (exists (?MEMBER1 ?MEMBER1_LOC ?MEMBER2 ?MEMBER2_LOC) (and (instance ?MEMBER1 Human) (instance ?MEMBER2 Human) (instance ?MEMBER1_LOC GeopoliticalArea) (instance ?MEMBER2_LOC GeopoliticalArea) (member ?MEMBER1 ?GXT) (member ?MEMBER2 ?GXT) (located ?MEMBER1 ?MEMBER1_LOC) (located ?MEMBER2 ?MEMBER2_LOC) (not (equal ?MEMBER1_LOC ?MEMBER2_LOC))))) |
UXExperimentalTerms.kif 2728-2741 | |
| (=> (instance ?MILITARY MilitaryOrganization) (exists (?AREA) (and (instance ?AREA GeopoliticalArea) (militaryOfArea ?MILITARY ?AREA)))) |
Military.kif 846-851 | |
| (=> (instance ?TREATY TreatyDocument) (exists (?COMM ?COUNTRY1 ?COUNTRY2) (and (instance ?COMM Committing) (patient ?COMM ?TREATY) (instance ?COUNTRY1 GeopoliticalArea) (agent ?COMM ?COUNTRY1) (instance ?COUNTRY2 GeopoliticalArea) (agent ?COMM ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Geography.kif 3027-3037 | |
| (=> (judicialBranch ?BRANCH ?AGENT) (or (instance ?BRANCH GeopoliticalArea) (instance ?BRANCH Organization))) |
Government.kif 2064-2068 | |
| (=> (legislativeBranch ?ORG ?AGENT) (or (instance ?AGENT Organization) (instance ?AGENT GeopoliticalArea))) |
Government.kif 1969-1973 | |
| (=> (member ?CAPITALIST Capitalism) (believes ?CAPITALIST (=> (and (instance ?MEANOFPRODUCTION MeanOfProduction) (attribute ?OBJ ?MEANOFPRODUCTION) (instance ?COUNTRY GeopoliticalArea) (located ?OBJ ?COUNTRY)) (exists (?AA) (and (instance ?AA AutonomousAgent) (element ?OBJ (PropertyFn (?AA))) (not (equal ?AA (CitizenryFn ?COUNTRY)))))))) |
Economy.kif 905-919 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|