| 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 10936-10938 | |
| (documentation MilitaryProcess JapaneseLanguage "任意の Process は、軍事組織によって実行さ れる。このクラスは、慎重な計画の結果である軍事演習などの %Process と、スクリプト化されていない %Process を対象としている。") | japanese_format.kif 1724-1726 | |
| (subclass MilitaryProcess OrganizationalProcess) | Merge.kif 10934-10934 | |
| (subclass MilitaryProcess PoliticalProcess) | Merge.kif 10933-10933 |
| appearance as argument number 2 |
|
|
| (subclass MilitaryInfiltration MilitaryProcess) | Mid-level-ontology.kif 15341-15341 | |
| (subclass MilitaryOperation MilitaryProcess) | Military.kif 23-23 | |
| (subclass MilitaryRegrouping MilitaryProcess) | MilitaryProcesses.kif 2718-2718 | |
| (termFormat ChineseLanguage MilitaryProcess "军事过程") | chinese_format.kif 1104-1104 | |
| (termFormat EnglishLanguage MilitaryProcess "military process") | english_format.kif 1425-1425 | |
| (termFormat FrenchLanguage MilitaryProcess "processus militaire") | french_format.kif 782-782 | |
| (termFormat Hindi MilitaryProcess "sainya prakriyaa") | terms-hindi.txt 314-314 | |
| (termFormat ItalianLanguage MilitaryProcess "ProcessoMilitare") | terms-it.txt 317-317 | |
| (termFormat JapaneseLanguage MilitaryProcess "軍事プロセス") | japanese_format.kif 2466-2466 | |
| (termFormat PortugueseLanguage MilitaryProcess "Processo Militar") | portuguese_format.kif 734-734 | |
| (termFormat cz MilitaryProcess "military process") | terms-cz.txt 353-353 | |
| (termFormat de MilitaryProcess "militaerischer Prozess") | terms-de.txt 612-612 | |
| (termFormat ro MilitaryProcess "proces militar") | relations-ro.kif 803-803 | |
| (termFormat tg MilitaryProcess "paraan ng militar") | terms-tg.txt 318-318 |
| appearance as argument number 3 |
|
|
| (domainSubclass fitForMilitaryService 2 MilitaryProcess) | Military.kif 969-969 |
| 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 264-269 |
| 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 953-964 |
|
|
|