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	domain fitForMilitaryService, 1 and 認識エージェント
(domainSubclass fitForMilitaryService 2 MilitaryProcess)	Military.kif 906-906	domainSubclass fitForMilitaryService, 2 and 軍事プロセス
(instance fitForMilitaryService BinaryPredicate)	Military.kif 904-904	instance fitForMilitaryService and 2進述語

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	termFormat EnglishLanguage, fitForMilitaryService and "fit for military service"

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