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 2201-2203 | |
(domain agentOperatesInArea 1 AutonomousAgent) | Government.kif 2197-2197 | Il numero 1 argomenti di agentOperatesInArea è un istanza di AutonomousAgent |
(domain agentOperatesInArea 2 GeographicArea) | Government.kif 2198-2198 | Il numero 2 argomenti di agentOperatesInArea è un istanza di AreaGeografica |
(instance agentOperatesInArea BinaryPredicate) | Government.kif 2196-2196 | agentOperatesInArea è un' istanza di PredicatoBinario |
(subrelation agentOperatesInArea partlyLocated) | Government.kif 2199-2199 | agentOperatesInArea è una sottorelazione di partlyLocated |
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 2190-2190 | politicalPartyOfCountry è una sottorelazione di agentOperatesInArea |
(termFormat ChineseLanguage agentOperatesInArea "代理人在区域内经营") | domainEnglishFormat.kif 5835-5835 | politicalPartyOfCountry è una sottorelazione di agentOperatesInArea |
(termFormat ChineseTraditionalLanguage agentOperatesInArea "代理人在區域內經營") | domainEnglishFormat.kif 5834-5834 | politicalPartyOfCountry è una sottorelazione di agentOperatesInArea |
(termFormat EnglishLanguage agentOperatesInArea "agent operates in area") | domainEnglishFormat.kif 5833-5833 | politicalPartyOfCountry è una sottorelazione di agentOperatesInArea |
antecedent |
![]() |
(=> (and (instance ?GROUP PoliticalPressureGroup) (hasPurpose ?GROUP ?FORMULA) (agentOperatesInArea ?GROUP ?AREA) (instance ?AREA Nation)) (desires ?GROUP (believes (GovernmentFn ?AREA) ?FORMULA))) |
Government.kif 2324-2331 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(agentOperatesInArea UnitedNationsObserverMissionInGeorgia RepublicOfGeorgia) | Government.kif 4080-4080 | agentOperatesInArea UnitedNationsObserverMissionInGeorgia and RepublicOfGeorgia |
![]() |
![]() |