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 17556-17557
(subclass EducationalCourse EducationalProgram)	Mid-level-ontology.kif 17555-17555	Educational course is a subclass of educational program

appearance as argument number 2

(termFormat ChineseLanguage EducationalCourse "教育课程")	domainEnglishFormat.kif 21279-21279
(termFormat ChineseTraditionalLanguage EducationalCourse "教育課程")	domainEnglishFormat.kif 21278-21278
(termFormat EnglishLanguage EducationalCourse "educational course")	domainEnglishFormat.kif 21277-21277

appearance as argument number 3

(domain classmate 3 EducationalCourse)

Mid-level-ontology.kif 17740-17740

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 17559-17566

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 17545-17553

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: