(subclass JointOperation MilitaryOperation) | MilitaryProcesses.kif 1716-1716 | JointOperation は MilitaryOperation の subclass では %n |
(subclass JointOperation Cooperation) | MilitaryProcesses.kif 1717-1717 | JointOperation は 協力 の subclass では %n |
(subclass CivilAffairsOperation JointOperation) | MilitaryProcesses.kif 2206-2206 | CivilAffairsOperation は JointOperation の subclass では %n |
(subclass CivilMilitaryOperation JointOperation) | MilitaryProcesses.kif 2268-2268 | CivilMilitaryOperation は JointOperation の subclass では %n |