(subclass TerminalAttackControl DirectActionActivity) | MilitaryProcesses.kif 448-448 | TerminalAttackControl は DirectActionActivity の subclass では %n |
(subclass TerminalAttackControl Classifying) | MilitaryProcesses.kif 449-449 | TerminalAttackControl は 分類 の subclass では %n |
(subclass TerminalAttackControl Stating) | MilitaryProcesses.kif 450-450 | TerminalAttackControl は 記載 の subclass では %n |