| 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 10699-10701 | |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10697-10697 | |
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 10696-10696 |
| appearance as argument number 2 |
|
|
| (subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 13418-13418 | |
| (subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | |
| (termFormat ChineseLanguage MilitaryProcess "军事过程") | chinese_format.kif 1104-1104 | |
| (termFormat EnglishLanguage MilitaryProcess "military process") | english_format.kif 1425-1425 |
| appearance as argument number 3 |
|
|
| (domainSubclass fitForMilitaryService 2 MilitaryProcess) | Military.kif 911-911 |
| antecedent |
|
|
| (=> (instance ?OP MilitaryProcess) (exists (?FORCE) (and (agent ?OP ?FORCE) (instance ?FORCE MilitaryForce)))) |
MilitaryProcesses.kif 1514-1519 |
| 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 895-906 |
|
|
|