![]() |
![]() ![]() ![]()
|
![]() |
|
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 16455-16458 | |
(subclass EducationalProgram Plan) | Mid-level-ontology.kif 16454-16454 |
appearance as argument number 2 |
![]() |
(subclass EducationalCourse EducationalProgram) | Mid-level-ontology.kif 16470-16470 | |
(termFormat ChineseLanguage EducationalProgram "教育计划") | domainEnglishFormat.kif 21262-21262 | |
(termFormat ChineseTraditionalLanguage EducationalProgram "教育計劃") | domainEnglishFormat.kif 21261-21261 | |
(termFormat EnglishLanguage EducationalProgram "educational program") | domainEnglishFormat.kif 21260-21260 |
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 16460-16468 |
consequent |
![]() |
(=> (and (instance ?DEGREE AcademicDegree) (possesses ?AGENT ?DEGREE)) (exists (?PROGRAM ?STUDY) (and (instance ?PROGRAM EducationalProgram) (realization ?STUDY ?PROGRAM) (experiencer ?STUDY ?AGENT)))) |
Mid-level-ontology.kif 16357-16365 | |
(=> (and (instance ?F Scholarship) (destination ?F ?H)) (hasPurpose ?F (exists (?EP ?P) (and (instance ?EP EducationalProgram) (realization ?P ?EP) (experiencer ?P ?H))))) |
Mid-level-ontology.kif 7191-7200 |
![]() |
![]() |