| MilitaryProcess(processus militaire) | |
| 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 10951-10953 | |
| (documentation MilitaryProcess JapaneseLanguage "任意の Process は、軍事組織によって実行さ れる。このクラスは、慎重な計画の結果である軍事演習などの %Process と、スクリプト化されていない %Process を対象としている。") | japanese_format.kif 1724-1726 | |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10949-10949 | Processus militaire est une sous-classe de processus organisationnel |
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 10948-10948 | Processus militaire est une sous-classe de processus polotique |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass fitForMilitaryService 2 MilitaryProcess) | Military.kif 979-979 | Le nombre 2 argument de fitForMilitaryService est une sous-classe de processus militaire |
| 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 274-279 |
|
| 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 963-974 | equal FitForMilitaryServiceMaleFn secteur g�opolitique and le nombre d' instances dans la classe d�crite par cha�ne sympbolique |
|
|
|