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

appearance as argument number 2

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

appearance as argument number 3

(domain classmate 3 EducationalCourse)

Mid-level-ontology.kif 17030-17030

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 16849-16856

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 16835-16843

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: