EducationalCourse
|
|
appearance as argument number 1 |
(documentation EducationalCourse EnglishLanguage "A schedule of class meetings offered by an EducationalOrganization.") | Mid-level-ontology.kif 16628-16629 | |
(subclass EducationalCourse EducationalProgram) | Mid-level-ontology.kif 16627-16627 | 教育课程 是 教育计划 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage EducationalCourse "教育课程") | domainEnglishFormat.kif 21264-21264 | |
(termFormat ChineseTraditionalLanguage EducationalCourse "教育課程") | domainEnglishFormat.kif 21263-21263 | |
(termFormat EnglishLanguage EducationalCourse "educational course") | domainEnglishFormat.kif 21262-21262 |
appearance as argument number 3 |
(domain classmate 3 EducationalCourse) | Mid-level-ontology.kif 16812-16812 | classmate 的 3 数量 是 教育课程 的 instance |
antecedent |
(=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16631-16638 |
consequent |
(=> (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 16617-16625 |