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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 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"


    (fitForMilitaryService ?AGENT ?PROCESS)
    (capability ?PROCESS agent ?AGENT))
Military.kif 912-914


    (FitForMilitaryServiceMaleFn ?AREA)
        (KappaFn ?PERSON
                (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 equal FitForMilitaryServiceMaleFn 地政学的地域 and CardinalityFn KappaFn 記号文字列 and instance 記号文字列 and 人[人間] attribute 記号文字列 and Male instance エンティティー and 軍事プロセス fitForMilitaryService 記号文字列 and エンティティー militaryAge 地政学的地域 and エンティティー age 記号文字列 and エンティティー greaterThanOrEqualTo エンティティー and エンティティー inhabits 記号文字列 and 地政学的地域

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