Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ChairmanJCS
|
|
|
| appearance as argument number 1 |
|
|
| (instance ChairmanJCS Position) | MilitaryProcesses.kif 934-934 | ChairmanJC s is an instance of position |
| (documentation ChairmanJCS EnglishLanguage "The chairman of the Joint Chiefs of Staff.") | MilitaryProcesses.kif 940-941 | ChairmanJC s is an instance of position |
| appearance as argument number 2 |
|
|
| (leaderPosition JointStaff ChairmanJCS) | MilitaryProcesses.kif 921-921 | ChairmanJC s is a leader position of joint staff |
| (leaderPosition JointChiefsOfStaff ChairmanJCS) | MilitaryProcesses.kif 939-939 | ChairmanJC s is a leader position of joint chiefs of staff |
| (termFormat EnglishLanguage ChairmanJCS "Chairman of the Joint Chiefs of Staff") | MilitaryProcesses.kif 2978-2978 | ChairmanJC s is a leader position of joint chiefs of staff |
| (termFormat EnglishLanguage ChairmanJCS "chairmanJC s") | domainEnglishFormat.kif 14040-14040 | ChairmanJC s is a leader position of joint chiefs of staff |
| (termFormat ChineseTraditionalLanguage ChairmanJCS "主席JCs") | domainEnglishFormat.kif 14041-14041 | ChairmanJC s is a leader position of joint chiefs of staff |
| (termFormat ChineseLanguage ChairmanJCS "主席JCs") | domainEnglishFormat.kif 14042-14042 | ChairmanJC s is a leader position of joint chiefs of staff |
| antecedent |
|
|
| (=> (attribute ?H ChairmanJCS) (member ?H JointChiefsOfStaff)) |
MilitaryProcesses.kif 936-938 | If chairmanJC s is an attribute of X, then X is a member of joint chiefs of staff |
| consequent |
|
|
| (=> (instance ?PUB JointPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 952-959 | If X is an instance of joint publication, then there exist Y, Z such that Y is an instance of managing, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y |
| (=> (instance ?PUB AboveTheLine) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 986-993 | If X is an instance of above the line, then there exist Y, Z such that Y is an instance of signing an agreement, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y |
| (=> (instance ?PUB ChairmanPublication) (exists (?MANAGING ?H) (and (instance ?MANAGING Managing) (attribute ?H ChairmanJCS) (agent ?MANAGING ?H) (patient ?MANAGING ?PUB)))) |
MilitaryProcesses.kif 1056-1063 | If X is an instance of chairman publication, then there exist Y, Z such that Y is an instance of managing, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y |
| (=> (instance ?PUB ChairmanPublication) (exists (?SIGNING ?H) (and (instance ?SIGNING SigningAnAgreement) (attribute ?H ChairmanJCS) (agent ?SIGNING ?H) (patient ?SIGNING ?PUB)))) |
MilitaryProcesses.kif 1068-1075 | If X is an instance of chairman publication, then there exist Y, Z such that Y is an instance of signing an agreement, chairmanJC s is an attribute of Z, Z is an agent of Y, and X is a patient of Y |
| (=> (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 1604-1626 | If X is an instance of operation planning and Y is an agent of X, then Y is an instance of combatant commander and there exist Z, W such that Z is an instance of requesting, W is an agent of Z, chairmanJC s is an attribute of W, and Z causes X or Y is an instance of subunified commander and All of the following hold: (1) there exist Z, V (2) U such that Z is an instance of requesting (3) V is an agent of Z (4) military commander is an attribute of V (5) U is subordinate position Y for V (6) U is an instance of military force (7) Z causes X |
|