Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 17999-18002
(subclass EducationalProgram Plan) Mid-level-ontology.kif 17998-17998 Educational program is a subclass of plan

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


(subclass EducationalCourse EducationalProgram) Mid-level-ontology.kif 18014-18014 Educational course is a subclass of educational program
(termFormat ChineseLanguage EducationalProgram "教育计划") domainEnglishFormat.kif 21285-21285 Educational course is a subclass of educational program
(termFormat ChineseTraditionalLanguage EducationalProgram "教育計劃") domainEnglishFormat.kif 21284-21284 Educational course is a subclass of educational program
(termFormat EnglishLanguage EducationalProgram "educational program") domainEnglishFormat.kif 21283-21283 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 18004-18012

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


(=>
    (and
        (instance ?DEGREE AcademicDegree)
        (possesses ?AGENT ?DEGREE))
    (exists (?PROGRAM ?STUDY)
        (and
            (instance ?PROGRAM EducationalProgram)
            (realization ?STUDY ?PROGRAM)
            (experiencer ?STUDY ?AGENT))))
Mid-level-ontology.kif 17901-17909
(=>
    (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 8392-8401


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