EducationalProgram(educational program) | ![]() | training_program, vocational_program |
appearance as argument number 1 |
![]() |
(documentation EducationalProgram EnglishLanguage "A series of EducationalCourses that must be completed to receive an AcademicDegree or other Certificate. Note that an EducationalProgram, unlike an EducationalCourse, may be realized at more than one EducationalOrganization.") | Mid-level-ontology.kif 17999-18002 | |
(subclass EducationalProgram Plan) | Mid-level-ontology.kif 17998-17998 | Educational program is a subclass of plan |
appearance as argument number 2 |
![]() |
(subclass EducationalCourse EducationalProgram) | Mid-level-ontology.kif 18014-18014 | Educational course is a subclass of educational program |
(termFormat ChineseLanguage EducationalProgram "教育计划") | domainEnglishFormat.kif 21285-21285 | Educational course is a subclass of educational program |
(termFormat ChineseTraditionalLanguage EducationalProgram "教育計劃") | domainEnglishFormat.kif 21284-21284 | Educational course is a subclass of educational program |
(termFormat EnglishLanguage EducationalProgram "educational program") | domainEnglishFormat.kif 21283-21283 | Educational course is a subclass of educational program |
antecedent |
![]() |
(=> (instance ?PROGRAM EducationalProgram) (exists (?COURSE1 ?COURSE2) (and (instance ?COURSE1 EducationalCourse) (instance ?COURSE2 EducationalCourse) (not (equal ?COURSE1 ?COURSE2)) (subPlan ?COURSE1 ?PROGRAM) (subPlan ?COURSE2 ?PROGRAM)))) |
Mid-level-ontology.kif 18004-18012 |
|
consequent |
![]() |
![]() |
![]() |