| MilitaryProcess(military process) | | inactive, militarise, militarize, nonoperational, operational, serve |
| appearance as argument number 1 |
|
|
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 10968-10968 | Military process is a subclass of political process |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10969-10969 | 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 10971-10973 | Military process is a subclass of organizational process |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass fitForMilitaryService 2 MilitaryProcess) | Military.kif 1173-1173 | 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 1533-1538 | 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 464-475 | 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 1157-1168 | equal the fit for military service male of X and the number of instances in the class described by Y |
|
|
|