(subclass DisseminateProducts PsychologicalOperation) | MilitaryProcesses.kif 1217-1217 | DisseminateProducts は PsychologicalOperation の subclass では %n |
(subclass DisseminateProducts Disseminating) | MilitaryProcesses.kif 1218-1218 | DisseminateProducts は 普及 の subclass では %n |