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 818-820 | |
(domain militaryOfArea 1 MilitaryOrganization) | Military.kif 816-816 | Il numero 1 argomenti di militaryOfArea è un istanza di MilitaryOrganization |
(domain militaryOfArea 2 GeopoliticalArea) | Military.kif 817-817 | Il numero 2 argomenti di militaryOfArea è un istanza di AreaGeopolitica |
(instance militaryOfArea BinaryPredicate) | Military.kif 815-815 | militaryOfArea è un' istanza di PredicatoBinario |
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 |
consequent |
appearance as argument number 0 |
(militaryOfArea USMilitary UnitedStates) | MilitaryProcesses.kif 952-952 | militaryOfArea USMilitary and UnitedStates |