| (subclass Plan Procedure) | Merge.kif 16798-16798 | |
| (subclass OperationPlan Plan) | MilitaryProcesses.kif 1543-1543 | |
| (subclass EducationalProgram Plan) | Mid-level-ontology.kif 16611-16611 | |
| (subclass SportsPlay Plan) | Mid-level-ontology.kif 16640-16640 | |
| (subclass Diet Plan) | Mid-level-ontology.kif 21530-21530 |
|
|