| (subclass Classifying IntentionalPsychologicalProcess) | Merge.kif 11984-11984 | Classifier est une sous-classe de processus psycholoqique intentionnel |
| (subclass TerminalAttackControl Classifying) | MilitaryProcesses.kif 449-449 | TerminalAttackControl est une sous-classe de classifier |
| (subclass TerminalGuidance Classifying) | MilitaryProcesses.kif 501-501 | TerminalGuidance est une sous-classe de classifier |
|
|