Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryProcess
MilitaryProcess

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


(subclass MilitaryProcess PoliticalProcess) Merge.kif 11057-11057
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 11058-11058
(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 11060-11062

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


(subclass MilitaryInfiltration MilitaryProcess) Mid-level-ontology.kif 15553-15553
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23
(subclass MilitaryRegrouping MilitaryProcess) MilitaryProcesses.kif 2759-2759
(termFormat EnglishLanguage MilitaryProcess "military process") english_format.kif 1429-1429

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


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

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


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

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


(=>
    (instance ?MV MilitarySupportVehicle)
    (hasPurpose ?MV
        (exists (?P)
            (and
                (instance ?P MilitaryProcess)
                (involvedInEvent ?P ?MV)
                (not
                    (exists (?A)
                        (and
                            (instance ?A ViolentContest)
                            (instrument ?A ?MV))))))))		 Military.kif 466-477

statement
-------------------------


(equal
    (FitForMilitaryServiceMaleFn ?AREA)
    (CardinalityFn
        (KappaFn ?PERSON
            (and
                (instance ?PERSON Human)
                (attribute ?PERSON Male)
                (subclass ?PROCESS MilitaryProcess)
                (fitForMilitaryService ?PERSON ?PROCESS)
                (militaryAge ?AREA ?MILITARYAGE)
                (age ?PERSON ?AGE)
                (greaterThanOrEqualTo ?AGE ?MILITARYAGE)
                (inhabits ?PERSON ?AREA)))))		 Military.kif 1159-1170


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners