militaryAge |
appearance as argument number 1 |
(documentation militaryAge EnglishLanguage "(militaryAge ?AREA ?AGE) means that in the GeopoliticalArea ?AREA, a person must be ?AGE or older in order to be a member of the military of the ?AREA.") | Military.kif 834-836 | |
(domain militaryAge 1 GeopoliticalArea) | Military.kif 837-837 | militaryAge の数値 1 引数は 地政学的地域 の instance では %n |
(domain militaryAge 2 TimeDuration) | Military.kif 838-838 | militaryAge の数値 2 引数は 時間分 の instance では %n |
(instance militaryAge BinaryPredicate) | Military.kif 833-833 | militaryAge は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage militaryAge "%2 %n 是 %1 的 military 年纪") | domainEnglishFormat.kif 1715-1715 | |
(format ChineseTraditionalLanguage militaryAge "%2 %n 是 %1 的 military 年紀") | domainEnglishFormat.kif 1714-1714 | |
(format EnglishLanguage militaryAge "%2 is %n a military age of %1") | domainEnglishFormat.kif 1713-1713 | |
(termFormat ChineseLanguage militaryAge "军事时代") | domainEnglishFormat.kif 37535-37535 | |
(termFormat ChineseTraditionalLanguage militaryAge "軍事時代") | domainEnglishFormat.kif 37534-37534 | |
(termFormat EnglishLanguage militaryAge "military age") | domainEnglishFormat.kif 37533-37533 |
antecedent |
(=> (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 |
|
statement |