fitForMilitaryService - Sigma Knowledge base Browser

appearance as argument number 1

(documentation fitForMilitaryService EnglishLanguage "(fitForMilitaryService ?AGENT ?PROCESS) means that ?AGENT is capable of carrying out the MilitaryProcess ?PROCESS as the agent of the ?PROCESS.")	Military.kif 907-909
(domain fitForMilitaryService 1 CognitiveAgent)	Military.kif 905-905
(domainSubclass fitForMilitaryService 2 MilitaryProcess)	Military.kif 906-906
(instance fitForMilitaryService BinaryPredicate)	Military.kif 904-904

appearance as argument number 2

(format EnglishLanguage fitForMilitaryService "%2 is %n a fit for military service of %1")	domainEnglishFormat.kif 265-265
(termFormat EnglishLanguage fitForMilitaryService "fit for military service")	domainEnglishFormat.kif 4434-4434

antecedent

(=>
(fitForMilitaryService ?AGENT ?PROCESS)
(capability ?PROCESS agent ?AGENT))

Military.kif 912-914

statement

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

Military.kif 890-901