| (subclass JointOperation MilitaryOperation) | MilitaryProcesses.kif 1716-1716 | JointOperation è una sottoclasse di MilitaryOperation |
| (subclass JointOperation Cooperation) | MilitaryProcesses.kif 1717-1717 | JointOperation è una sottoclasse di Cooperazione |
| (subclass CivilAffairsOperation JointOperation) | MilitaryProcesses.kif 2206-2206 | CivilAffairsOperation è una sottoclasse di JointOperation |
| (subclass CivilMilitaryOperation JointOperation) | MilitaryProcesses.kif 2268-2268 | CivilMilitaryOperation è una sottoclasse di JointOperation |
|
|