| MilitaryProcess(military process) | | inactive, militarise, militarize, nonoperational, operational, serve |
| appearance as argument number 1 |
|
|
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 11057-11057 | Military process is a subclass of political process |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 11058-11058 | Military process is a subclass of organizational process |
| (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 | Military process is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass fitForMilitaryService 2 MilitaryProcess) | Military.kif 1175-1175 | The number 2 argument of fit for military service is a subclass of military process |
| antecedent |
|
|
| (=> (instance ?OP MilitaryProcess) (exists (?FORCE) (and (agent ?OP ?FORCE) (instance ?FORCE MilitaryForce)))) |
MilitaryProcesses.kif 1536-1541 | If X is an instance of military process, then there exists Y such that Y is an agent of X and Y is an instance of military force |
| 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 | If X is an instance of military support vehicle, then X has the purpose there exists Y such that Y is an instance of military process, X is an involved in event of Y, there doesn't exist Z such that Z is an instance of violent contest, and X is an instrument for Z |
| 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 | equal the fit for military service male of X and the number of instances in the class described by Y |
|
|
|