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


KB Term:  Term intersection
English Word: 

Sigma KEE - EducationalProgram
EducationalProgram(educational program)training_program, vocational_program

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


(subclass EducationalProgram Plan) Mid-level-ontology.kif 18225-18225 Educational program is a subclass of plan
(documentation EducationalProgram EnglishLanguage "A series of EducationalCourses that must be completed to receive an AcademicDegree or other Certificate. Note that an EducationalProgram, unlike an EducationalCourse, may be realized at more than one EducationalOrganization.") Mid-level-ontology.kif 18226-18229 Educational program is a subclass of plan

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


(subclass EducationalCourse EducationalProgram) Mid-level-ontology.kif 18241-18241 Educational course is a subclass of educational program
(termFormat EnglishLanguage EducationalProgram "educational program") domainEnglishFormat.kif 21276-21276 Educational course is a subclass of educational program
(termFormat ChineseTraditionalLanguage EducationalProgram "教育計劃") domainEnglishFormat.kif 21277-21277 Educational course is a subclass of educational program
(termFormat ChineseLanguage EducationalProgram "教育计划") domainEnglishFormat.kif 21278-21278 Educational course is a subclass of educational program

antecedent
-------------------------


(=>
    (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

consequent
-------------------------


(=>
    (and
        (instance ?F Scholarship)
        (destination ?F ?H))
    (hasPurpose ?F
        (exists (?EP ?P)
            (and
                (instance ?EP EducationalProgram)
                (realization ?P ?EP)
                (experiencer ?P ?H)))))		 Mid-level-ontology.kif 8528-8537 If X is an instance of scholarship and X ends up at Y, then X has the purpose there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W
(=>
    (and
        (instance ?DEGREE AcademicDegree)
        (possesses ?AGENT ?DEGREE))
    (exists (?PROGRAM ?STUDY)
        (and
            (instance ?PROGRAM EducationalProgram)
            (realization ?STUDY ?PROGRAM)
            (experiencer ?STUDY ?AGENT))))		 Mid-level-ontology.kif 18128-18136 If X is an instance of academic degree and Y possesses X, then there exist Z, W such that Z is an instance of educational program, W expresses the content of Z, and Y experiences W


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