Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - EducationalCourse
EducationalCourse(educational course)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage EducationalCourse "educational course") domainEnglishFormat.kif 21264-21264
(termFormat ChineseTraditionalLanguage EducationalCourse "教育課程") domainEnglishFormat.kif 21265-21265
(termFormat ChineseLanguage EducationalCourse "教育课程") domainEnglishFormat.kif 21266-21266

appearance as argument number 3
-------------------------


(domain classmate 3 EducationalCourse) Mid-level-ontology.kif 18425-18425 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 18245-18252 If X is an instance of educational course, then there exist Y, Z such that Y expresses the content of X, Y is an instance of educational process, Y is located at Z, and Z 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 18231-18239 If X is an instance of educational program, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of educational course (3) Z is an instance of educational course (4) equal Y (5) Z (6) Y is a sub-plan of X (7) Z is a sub-plan of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners