agentOperatesInArea |
appearance as argument number 1 |
(documentation agentOperatesInArea EnglishLanguage "(agentOperatesInArea ?AGENT ?AREA) means that the individual or Organization ?AGENT operates in the GeographicArea ?AREA.") | Government.kif 2239-2241 | |
(domain agentOperatesInArea 1 AutonomousAgent) | Government.kif 2235-2235 | 代理人在区域内经营 的 1 数量 是 施事体 的 instance |
(domain agentOperatesInArea 2 GeographicArea) | Government.kif 2236-2236 | 代理人在区域内经营 的 2 数量 是 地理区域 的 instance |
(instance agentOperatesInArea BinaryPredicate) | Government.kif 2234-2234 | 代理人在区域内经营 是 二元谓语 的 instance |
(subrelation agentOperatesInArea partlyLocated) | Government.kif 2237-2237 | 代理人在区域内经营 是 有一部分位于 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage agentOperatesInArea "%2 %n 是 agent 运作在 %1 地区") | domainEnglishFormat.kif 76-76 | |
(format ChineseTraditionalLanguage agentOperatesInArea "%2 %n 是 agent 運作在 %1 地區") | domainEnglishFormat.kif 75-75 | |
(format EnglishLanguage agentOperatesInArea "%2 is %n an agent operates in area of %1") | domainEnglishFormat.kif 74-74 | |
(subrelation politicalPartyOfCountry agentOperatesInArea) | Government.kif 2228-2228 | 国家政党 是 代理人在区域内经营 的 subrelation |
(termFormat ChineseLanguage agentOperatesInArea "代理人在区域内经营") | domainEnglishFormat.kif 5826-5826 | |
(termFormat ChineseTraditionalLanguage agentOperatesInArea "代理人在區域內經營") | domainEnglishFormat.kif 5825-5825 | |
(termFormat EnglishLanguage agentOperatesInArea "agent operates in area") | domainEnglishFormat.kif 5824-5824 |
antecedent |
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2362-2369 |
consequent |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Nation) (instance ?ORG DiplomaticOrganization) (subOrganization ?ORG (GovernmentFn ?AGENT1)) (occupiesPosition ?PERSON ?POSITION ?ORG) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?ORG ?AGENT2)) |
Government.kif 4511-4519 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?AGENT1 ?AGENT2)) |
Government.kif 4504-4509 | |
(=> (and (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (instance ?AGENT2 GeopoliticalArea)) (agentOperatesInArea ?PERSON ?AGENT2)) |
Government.kif 4498-4502 | |
(=> (instance ?ORG InternationalOrganization) (exists (?COUNTRY1 ?COUNTRY2) (and (instance ?COUNTRY1 Nation) (instance ?COUNTRY2 Nation) (agentOperatesInArea ?ORG ?COUNTRY1) (agentOperatesInArea ?ORG ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Government.kif 2516-2524 |
appearance as argument number 0 |
(agentOperatesInArea UnitedNationsObserverMissionInGeorgia RepublicOfGeorgia) | Government.kif 4118-4118 | 格鲁吉亚共和国 是 agent 运作在 联合国驻格鲁吉亚观察团 地区 |