Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  JointChiefsOfStaff
|
|
|
| appearance as argument number 1 |
|
|
| (instance JointChiefsOfStaff GroupOfPeople) | MilitaryProcesses.kif 925-925 | Joint chiefs of staff is an instance of group of people |
| (instance JointChiefsOfStaff MilitaryOrganization) | MilitaryProcesses.kif 926-926 | Joint chiefs of staff is an instance of military organization |
| (documentation JointChiefsOfStaff EnglishLanguage "The Joint Chiefs of Staff (JCS) is a grouping comprising the Chiefs of service of each major branch of the armed services in the United States armed forces. Similar organisations, sometimes known as Chiefs of Staff Committees (COSCs) in the British Commonwealth, are common in other nations. (from Wikipedia)") | MilitaryProcesses.kif 928-932 | Joint chiefs of staff is an instance of military organization |
| (leaderPosition JointChiefsOfStaff ChairmanJCS) | MilitaryProcesses.kif 939-939 | ChairmanJC s is a leader position of joint chiefs of staff |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JointChiefsOfStaff "Joint Chiefs of Staff") | MilitaryProcesses.kif 2979-2979 | |
| (termFormat EnglishLanguage JointChiefsOfStaff "joint chiefs of staff") | domainEnglishFormat.kif 31671-31671 | |
| (termFormat ChineseTraditionalLanguage JointChiefsOfStaff "聯合參謀長") | domainEnglishFormat.kif 31672-31672 | |
| (termFormat ChineseLanguage JointChiefsOfStaff "联合参谋长") | domainEnglishFormat.kif 31673-31673 |
| consequent |
|
|
| (=> (attribute ?H DirectorJS) (member ?H JointChiefsOfStaff)) |
MilitaryProcesses.kif 917-919 | If directorJS is an attribute of X, then X is a member of joint chiefs of staff |
| (=> (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 |
|