Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  JOPES
|
|
|
| appearance as argument number 1 |
|
|
| (instance JOPES ComputerProgram) | MilitaryProcesses.kif 1850-1850 | JOPES is an instance of computer program |
| (documentation JOPES EnglishLanguage "A system that provides the foundation for conventional command and control by national- and combatant command-level commanders and their staffs. It is designed to satisfy their information needs in the conduct of joint planning and operations. Joint Operation Planning and Execution System (JOPES) includes joint operation planning policies, procedures, and reporting structures supported by communications and automated data processing systems. JOPES is used to monitor, plan, and execute mobilization, deployment, employment, sustainment, and redeployment activities associated with joint operations. Also called JOPES. See also joint operation planning, joint operations.") | MilitaryProcesses.kif 1851-1861 | JOPES is an instance of computer program |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage JOPES "Joint Operation Planning and Execution System") | MilitaryProcesses.kif 3024-3024 | |
| (termFormat EnglishLanguage JOPES "JOPES") | domainEnglishFormat.kif 31761-31761 | |
| (termFormat ChineseTraditionalLanguage JOPES "JOPES") | domainEnglishFormat.kif 31762-31762 | |
| (termFormat ChineseLanguage JOPES "JOPES") | domainEnglishFormat.kif 31763-31763 |
| consequent |
|
|
| (=> (instance ?MANUAL JOPESManual) (and (containsInformation ?MANUAL ?JOPES) (instance ?JOPES JOPES))) |
MilitaryProcesses.kif 1866-1870 | If X is an instance of JOPES manual, then X contains information Y and Y is an instance of JOPES |
|