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 862-864
(domain AvailableForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 860-860	The number 1 argument of available for military service male is an instance of geopolitical area
(instance AvailableForMilitaryServiceMaleFn UnaryFunction)	Military.kif 859-859	Available for military service male is an instance of unary function
(range AvailableForMilitaryServiceMaleFn Integer)	Military.kif 861-861	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 9339-9339
(termFormat ChineseTraditionalLanguage AvailableForMilitaryServiceMaleFn "可用於兵役男性")	domainEnglishFormat.kif 9338-9338
(termFormat EnglishLanguage AvailableForMilitaryServiceMaleFn "available for military service male")	domainEnglishFormat.kif 9337-9337

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 867-876

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