(subclass TerminalAttackControl DirectActionActivity) | MilitaryProcesses.kif 448-448 | TerminalAttackControl est une sous-classe de DirectActionActivity |
(subclass TerminalAttackControl Classifying) | MilitaryProcesses.kif 449-449 | TerminalAttackControl est une sous-classe de classifier |
(subclass TerminalAttackControl Stating) | MilitaryProcesses.kif 450-450 | TerminalAttackControl est une sous-classe de d�clarer |