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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryProcess
MilitaryProcess

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


(documentation MilitaryProcess ChineseLanguage "这是由军事机构执行的任何 Process。注:这个类别 包括 Process, 例如经过精心策划和那些没有预备的军事行动。") chinese_format.kif 2967-2968
(documentation MilitaryProcess EnglishLanguage "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 9975-9977
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 9973-9973 subclass MilitaryProcess and OrganizationalProcess
(subclass MilitaryProcess PoliticalProcess) Merge.kif 9972-9972 subclass MilitaryProcess and PoliticalProcess

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


(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 11560-11560 subclass MilitaryInfiltration and MilitaryProcess
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 subclass MilitaryOperation and MilitaryProcess
(termFormat ChineseLanguage MilitaryProcess "军事过程") chinese_format.kif 1104-1104 termFormat ChineseLanguage, MilitaryProcess and "军事过程"
(termFormat EnglishLanguage MilitaryProcess "military process") english_format.kif 1430-1430 termFormat EnglishLanguage, MilitaryProcess and "military process"

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


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

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


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

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 equal FitForMilitaryServiceMaleFn GeopoliticalArea and CardinalityFn KappaFn SymbolicString and instance SymbolicString and Human attribute SymbolicString and Male instance entity and MilitaryProcess fitForMilitaryService SymbolicString and entity militaryAge GeopoliticalArea and entity age SymbolicString and entity greaterThanOrEqualTo entity and entity inhabits SymbolicString and GeopoliticalArea


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