Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fitForMilitaryService
fitForMilitaryService

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners