TreeView Knowledge Base Browser - FitForMilitaryServiceMaleFn

appearance as argument number 1

(instance FitForMilitaryServiceMaleFn UnaryFunction)	Military.kif 1150-1150	Fit for military service male is an instance of unary function
(domain FitForMilitaryServiceMaleFn 1 GeopoliticalArea)	Military.kif 1151-1151	The number 1 argument of fit for military service male is an instance of geopolitical area
(range FitForMilitaryServiceMaleFn Integer)	Military.kif 1152-1152	The range of fit for military service male is an instance of integer
(documentation FitForMilitaryServiceMaleFn EnglishLanguage "(FitForMilitaryServiceMaleFn ?AREA) denotes the Integer that represents the count of the population of males of military age in the GeopoliticalArea ?AREA that is also capable of being a member of the military.")	Military.kif 1153-1156	The range of fit for military service male is an instance of integer

appearance as argument number 2

(format EnglishLanguage FitForMilitaryServiceMaleFn "the fit for military service male of %1")	domainEnglishFormat.kif 1031-1031
(format ChineseTraditionalLanguage FitForMilitaryServiceMaleFn "%1 的 fit 對於軍服務男性")	domainEnglishFormat.kif 1032-1032
(format ChineseLanguage FitForMilitaryServiceMaleFn "%1 的 fit 对于军服务男性")	domainEnglishFormat.kif 1033-1033
(termFormat EnglishLanguage FitForMilitaryServiceMaleFn "fit for military service male")	domainEnglishFormat.kif 24076-24076
(termFormat ChineseTraditionalLanguage FitForMilitaryServiceMaleFn "適合兵役的男性")	domainEnglishFormat.kif 24077-24077
(termFormat ChineseLanguage FitForMilitaryServiceMaleFn "适合兵役的男性")	domainEnglishFormat.kif 24078-24078

statement

(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))

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