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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryProcess

Sigma KEE - MilitaryProcess
MilitaryProcessجاهِز لِلْعمل, مُعد لِلْتنْفِيذ, مُعد لِلْعملِيّات الحرْبِيّة, تشْغِيلِي, غيْر مُعد لِلْعملِيّات الحرْبِيّة,

appearance as argument number 1
-------------------------


(documentation MilitaryProcess ChineseLanguage "这是由军事机构执行的任何 Process。注:这个类别 包括 Process, 例如经过精心策划和那些没有预备的军事行动。") Merge.kif 10639-10640
(documentation MilitaryProcess EnglishLanguage "Any Process that is carried out by a military organization. Note that this class covers Processes, e.g. military operations, that are the result of careful planning, as well as those which are unscripted.") Merge.kif 10635-10638
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10634-10634
(subclass MilitaryProcess PoliticalProcess) Merge.kif 10633-10633

appearance as argument number 2
-------------------------


(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 11295-11295
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23
(termFormat ChineseLanguage MilitaryProcess "军事过程") chinese_format.kif 1104-1104
(termFormat EnglishLanguage MilitaryProcess "military process") english_format.kif 791-791
(termFormat FrenchLanguage MilitaryProcess "processus militaire") french_format.kif 782-782
(termFormat Hindi MilitaryProcess "sainya prakriyaa") terms-hindi.txt 314-314
(termFormat ItalianLanguage MilitaryProcess "ProcessoMilitare") terms-it.txt 315-315
(termFormat PortugueseLanguage MilitaryProcess "Processo Militar") portuguese_format.kif 734-734
(termFormat cz MilitaryProcess "military process") terms-cz.txt 353-353
(termFormat tg MilitaryProcess "paraan ng militar") terms-tg.txt 318-318

appearance as argument number 3
-------------------------


(domainSubclass fitForMilitaryService 2 MilitaryProcess) Military.kif 906-906

antecedent
-------------------------


(=>
    (instance ?OP MilitaryProcess)
    (exists (?FORCE)
        (and
            (agent ?OP ?FORCE)
            (instance ?FORCE MilitaryForce))))
MilitaryProcesses.kif 1482-1487

consequent
-------------------------


(=>
    (instance ?MV MilitaryVehicle)
    (and
        (instance ?A MilitaryForce)
        (possesses ?A ?MV)
        (capability MilitaryProcess patient ?MV)))
Military.kif 197-202

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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