(subclass EducationalProgram Plan) | Mid-level-ontology.kif 16611-16611 | EducationalProgram は 計画 の subclass では %n |
(subclass EducationalCourse EducationalProgram) | Mid-level-ontology.kif 16627-16627 | EducationalCourse は EducationalProgram の subclass では %n |