|
|
  ChairmanJCS
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChairmanJCS EnglishLanguage "The chairman of the Joint Chiefs of Staff.") | MilitaryProcesses.kif 918-919 | |
| (instance ChairmanJCS Position) | MilitaryProcesses.kif 912-912 | 例 主席JCs and Position |
| appearance as argument number 2 |
|
|
| (leaderPosition JointChiefsOfStaff ChairmanJCS) | MilitaryProcesses.kif 917-917 | 主席JCs 是 聯合參謀長 的 leader 職位 |
| (leaderPosition JointStaff ChairmanJCS) | MilitaryProcesses.kif 899-899 | 主席JCs 是 聯合工作人員 的 leader 職位 |
| (termFormat ChineseLanguage ChairmanJCS "主席JCs") | domainEnglishFormat.kif 14040-14040 | |
| (termFormat ChineseTraditionalLanguage ChairmanJCS "主席JCs") | domainEnglishFormat.kif 14039-14039 | |
| (termFormat EnglishLanguage ChairmanJCS "Chairman of the Joint Chiefs of Staff") | MilitaryProcesses.kif 2815-2815 | |
| (termFormat EnglishLanguage ChairmanJCS "chairmanJC s") | domainEnglishFormat.kif 14038-14038 |
| antecedent |
|
|
| (=> (attribute ?H ChairmanJCS) (member ?H JointChiefsOfStaff)) |
MilitaryProcesses.kif 914-916 |
| consequent |
|
|
| (=> (and (instance ?PLANNING OperationPlanning) (agent ?PLANNING ?COMMANDER)) (or (and (instance ?COMMANDER CombatantCommander) (exists (?REQUEST ?CHAIRMAN) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?CHAIRMAN) (attribute ?CHAIRMAN ChairmanJCS) (causes ?REQUEST ?PLANNING)))) (and (instance ?COMMANDER SubunifiedCommander) (exists (?REQUEST ?COMMANDERSUPER ?MILITARY) (and (instance ?REQUEST Requesting) (agent ?REQUEST ?COMMANDERSUPER) (attribute ?COMMANDERSUPER MilitaryCommander) (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER) (instance ?MILITARY MilitaryForce) (causes ?REQUEST ?PLANNING)))))) |
MilitaryProcesses.kif 1582-1604 |
|
| (=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 964-971 | |
| (=> (instance ?PUB ChairmanPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 1034-1041 | |
| (=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 1046-1053 | |
| (=> (instance ?PUB JointPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 930-937 |
|
|
|