EducationalCourse - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EducationalCourse EnglishLanguage "A schedule of class meetings offered by an EducationalOrganization.")	Mid-level-ontology.kif 16655-16656
(subclass EducationalCourse EducationalProgram)	Mid-level-ontology.kif 16654-16654	Educational course is a subclass of educational program

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 16839-16839

The number 3 argument of classmate is an instance of educational course

antecedent

(=>
    (instance ?COURSE EducationalCourse)
    (exists (?CLASS ?ORG)
        (and
            (realization ?CLASS ?COURSE)
            (instance ?CLASS EducationalProcess)
            (eventLocated ?CLASS ?ORG)
            (instance ?ORG EducationalOrganization))))

Mid-level-ontology.kif 16658-16665

If a proposition is an instance of educational course,
then there exist a process and an object such that the process expresses the content of the proposition and the process is an instance of educational process and the process is located at the object and the object is an instance of educational organization

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 16644-16652

If a plan is an instance of educational program,
then there exist another plan and a third plan such that the other plan is an instance of educational course and the third plan is an instance of educational course and the other plan is not equal to the third plan and the other plan is a sub-plan of the plan and the third plan is a sub-plan of the plan

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: