ReachingMilitaryAgeAnnuallyMaleFn - Sigma Knowledge base Browser

appearance as argument number 1

s__instance(s__ReachingMilitaryAgeAnnuallyMaleFn,s__BinaryFunction)	Military.kif 1187-1187	Reaching military age annually male is an instance of binary function
s__domain(s__ReachingMilitaryAgeAnnuallyMaleFn,n__1,s__GeopoliticalArea)	Military.kif 1188-1188	The number 1 argument of reaching military age annually male is an instance of geopolitical area
s__domain(s__ReachingMilitaryAgeAnnuallyMaleFn,n__2,s__Year)	Military.kif 1189-1189	The number 2 argument of reaching military age annually male is an instance of year
s__range(s__ReachingMilitaryAgeAnnuallyMaleFn,s__Integer)	Military.kif 1190-1190	The range of reaching military age annually male is an instance of integer
s__documentation(s__ReachingMilitaryAgeAnnuallyMaleFn, s__EnglishLanguage, "(equal (ReachingMilitaryAgeAnnuallyMaleFn ?AREA ?YEAR) ?COUNT) means that in the GeopoliticalArea ?AREA, there are ?COUNT number of male individuals who for that year ?YEAR come to be of militaryAge_")	Military.kif 1191-1194	The range of reaching military age annually male is an instance of integer

appearance as argument number 2

s__format(s__EnglishLanguage, s__ReachingMilitaryAgeAnnuallyMaleFn, "the reaching military age annually male of %1 and %2")	domainEnglishFormat.kif 2105-2105
s__format(s__ChineseTraditionalLanguage, s__ReachingMilitaryAgeAnnuallyMaleFn, "%1 和 %2 每年的 reaching 軍事男性年齡")	domainEnglishFormat.kif 2106-2106
s__format(s__ChineseLanguage, s__ReachingMilitaryAgeAnnuallyMaleFn, "%1 和 %2 每年的 reaching 军事男性年龄")	domainEnglishFormat.kif 2107-2107
s__termFormat(s__EnglishLanguage, s__ReachingMilitaryAgeAnnuallyMaleFn, "reaching military age annually male")	domainEnglishFormat.kif 48837-48837
s__termFormat(s__ChineseTraditionalLanguage, s__ReachingMilitaryAgeAnnuallyMaleFn, "每年達到軍齡的男性")	domainEnglishFormat.kif 48838-48838
s__termFormat(s__ChineseLanguage, s__ReachingMilitaryAgeAnnuallyMaleFn, "每年达到军龄的男性")	domainEnglishFormat.kif 48839-48839

statement

! [V__AGE : $i,V__AGEMINUSONE : $i,V__AREA : $i,V__MILITARYAGE : $i,V__PERSON : $i,V__YEAR : $i] : (s__ReachingMilitaryAgeAnnuallyMaleFn(V__AREA, V__YEAR) = s__CardinalityFn(s__KappaFn(V__PERSON, (s__instance(V__PERSON, s__Human) & s__attribute(V__PERSON, s__Male) & s__militaryAge(V__AREA, V__MILITARYAGE) & V__AGEMINUSONE = $difference(V__AGE ,1) & s__holdsDuring(V__YEAR, (s__age(V__PERSON, V__AGEMINUSONE) | s__age(V__PERSON, V__AGE))) & V__AGE = V__MILITARYAGE & s__inhabits(V__PERSON, V__AREA)))))

equal the reaching military age annually male of X, Y, and the number of instances in the class described by Z