militaryOfArea |
appearance as argument number 1 |
(documentation militaryOfArea EnglishLanguage "(militaryOfArea ?MILITARY ?AREA) denotes that ?MILITARY is a MilitaryOrganization serving in defense of the GeopoliticalArea ?AREA.") | Military.kif 827-829 | |
(domain militaryOfArea 1 MilitaryOrganization) | Military.kif 825-825 | 域 區域軍事, 1 and 軍事組織 |
(domain militaryOfArea 2 GeopoliticalArea) | Military.kif 826-826 | 域 區域軍事, 2 and GeopoliticalArea |
(instance militaryOfArea BinaryPredicate) | Military.kif 824-824 | 例 區域軍事 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage militaryOfArea "%2 %n 是 %1 的 military 区域") | domainEnglishFormat.kif 1735-1735 | |
(format ChineseTraditionalLanguage militaryOfArea "%2 %n 是 %1 的 military 區域") | domainEnglishFormat.kif 1734-1734 | |
(format EnglishLanguage militaryOfArea "%2 is %n a military of area of %1") | domainEnglishFormat.kif 1733-1733 | |
(termFormat ChineseLanguage militaryOfArea "区域军事") | domainEnglishFormat.kif 37661-37661 | |
(termFormat ChineseTraditionalLanguage militaryOfArea "區域軍事") | domainEnglishFormat.kif 37660-37660 | |
(termFormat EnglishLanguage militaryOfArea "military of area") | domainEnglishFormat.kif 37659-37659 |
antecedent |
(=> (and (instance ?CAA CivilAffairsAgreement) (partyToAgreement ?AGENT_MIL_THIS ?CAA) (instance ?AGENT_MIL_THIS MilitaryOrganization) (militaryOfArea ?AGENT_MIL_THIS ?NATION_THIS) (instance ?NATION_THIS Nation) (located ?AGENT_MIL_THIS ?NATION_FRIENDLY) (instance ?NATION_FRIENDLY Nation)) (and (not (equal ?NATION_THIS ?NATION_FRIENDLY)) (not (enemy ?NATION_THIS ?NATION_FRIENDLY)) (exists (?AGENT_FRIENDLY) (and (located ?AGENT_FRIENDLY ?NATION_FRIENDLY) (partyToAgreement ?AGENT_FRIENDLY ?CAA) (not (instance ?AGENT_FRIENDLY MilitaryOrganization)))))) |
MilitaryProcesses.kif 2309-2328 |
|
(=> (and (instance ?FID ForeignInternalDefense) (agent ?FID ?MIL) (militaryOfArea ?MIL ?NATION)) (exists (?HN ?MAINTAIN) (and (experiencer ?FID ?HN) (instance ?HN HostNation) (not (equal ?HN ?NATION)) (instance ?MAINTAIN Maintaining) (agent ?MAINTAIN ?HN)))) |
MilitaryProcesses.kif 1943-1955 |
|
(=> (and (militaryAge ?AREA (MeasureFn ?MILITARYAGE YearDuration)) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY) (age ?AGENT (MeasureFn ?AGE YearDuration))) (greaterThanOrEqualTo ?AGE ?MILITARYAGE)) |
Military.kif 852-860 |
|
(=> (and (militaryAge ?AREA (MeasureFn ?MILITARYAGE YearDuration)) (militaryOfArea ?MILITARY ?AREA) (member ?AGENT ?MILITARY)) (exists (?AGE) (and (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?MILITARYAGE)))) |
Military.kif 840-850 |
|
consequent |
appearance as argument number 0 |
(militaryOfArea USMilitary UnitedStates) | MilitaryProcesses.kif 952-952 | 美國 是 美軍 的 military 區域 |