| (subclass TerminalGuidance DirectActionActivity) | MilitaryProcesses.kif 500-500 | TerminalGuidance は DirectActionActivity の subclass では %n |
| (subclass TerminalGuidance Classifying) | MilitaryProcesses.kif 501-501 | TerminalGuidance は 分類 の subclass では %n |
| (subclass TerminalGuidance Stating) | MilitaryProcesses.kif 502-502 | TerminalGuidance は 記載 の subclass では %n |
| (subclass TerminalGuidance Locating) | MilitaryProcesses.kif 503-503 | TerminalGuidance は Locating の subclass では %n |
|
|