| MilitaryProcess(military process) | | inactive, militarise, militarize, nonoperational, operational, serve |
| appearance as argument number 1 |
|
|
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 10977-10977 | Military process is a subclass of political process |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10978-10978 | 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 10980-10982 | 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 1537-1542 | 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 |
|
|
|