AvailableForMilitaryServiceMaleFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance AvailableForMilitaryServiceMaleFn UnaryFunction)	Military.kif 1128-1128	Available for military service male is an instance of unary function
(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 1129-1129	The number 1 argument of available for military service male is an instance of geopolitical area
(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 1130-1130	The range of available for military service male is an instance of integer
(documentation AvailableForMilitaryServiceMaleFn EnglishLanguage "(AvailableForMilitaryServiceMaleFn ?AREA) denotes the Integer that represents the count of the population of males of military age in the GeopoliticalArea ?AREA.")	Military.kif 1131-1133	The range of available for military service male is an instance of integer

appearance as argument number 2

(format EnglishLanguage AvailableForMilitaryServiceMaleFn "the available for military service male of %1")	domainEnglishFormat.kif 222-222
(format ChineseTraditionalLanguage AvailableForMilitaryServiceMaleFn "%1 的 available 軍事服務男性")	domainEnglishFormat.kif 223-223
(format ChineseLanguage AvailableForMilitaryServiceMaleFn "%1 的 available 军事服务男性")	domainEnglishFormat.kif 224-224
(termFormat EnglishLanguage AvailableForMilitaryServiceMaleFn "available for military service male")	domainEnglishFormat.kif 9328-9328
(termFormat ChineseTraditionalLanguage AvailableForMilitaryServiceMaleFn "可用於兵役男性")	domainEnglishFormat.kif 9329-9329
(termFormat ChineseLanguage AvailableForMilitaryServiceMaleFn "可用于兵役男性")	domainEnglishFormat.kif 9330-9330

statement

(equal
    (AvailableForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))

equal the available for military service male of X and the number of instances in the class described by Y