(subclass DistributeProducts PsychologicalOperation) | MilitaryProcesses.kif 1210-1210 | DistributeProducts は PsychologicalOperation の subclass では %n |
(subclass DistributeProducts Giving) | MilitaryProcesses.kif 1211-1211 | DistributeProducts は 与える の subclass では %n |