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

appearance as argument number 2

(termFormat ChineseLanguage EducationalCourse "教育课程")	domainEnglishFormat.kif 21255-21255
(termFormat ChineseTraditionalLanguage EducationalCourse "教育課程")	domainEnglishFormat.kif 21254-21254
(termFormat EnglishLanguage EducationalCourse "educational course")	domainEnglishFormat.kif 21253-21253

appearance as argument number 3

(domain classmate 3 EducationalCourse)

Mid-level-ontology.kif 16256-16256

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 16075-16082

If a proposition is an instance of educational course,
then there exist a process and an entity 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 2 and the entity 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 16061-16069

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: