TreeView Knowledge Base Browser - AvailableForMilitaryServiceMaleFn

appearance as argument number 1

(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 867-869
(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 865-865	The number 1 argument of available for military service male is an instance of geopolitical area
(instance AvailableForMilitaryServiceMaleFn UnaryFunction)	Military.kif 864-864	Available for military service male is an instance of unary function
(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 866-866	The range of available for military service male is an instance of integer

appearance as argument number 2

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

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)))))

Military.kif 872-881

The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string