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 | O argumento numero 1 de militaryOfArea e' uma instancia de MilitaryOrganization |
(domain militaryOfArea 2 GeopoliticalArea) | Military.kif 817-817 | O argumento numero 2 de militaryOfArea e' uma instancia de Area Geopolitica |
(instance militaryOfArea BinaryPredicate) | Military.kif 815-815 | militaryOfArea e' uma instancia de Predicado Binario |
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 |