Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalProgram

Sigma KEE - EducationalProgram
EducationalProgram

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 16612-16615
(subclass EducationalProgram Plan) Mid-level-ontology.kif 16611-16611 EducationalProgram計画subclass では %n

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


(subclass EducationalCourse EducationalProgram) Mid-level-ontology.kif 16627-16627 EducationalCourseEducationalProgramsubclass では %n
(termFormat ChineseLanguage EducationalProgram "教育计划") domainEnglishFormat.kif 21276-21276
(termFormat ChineseTraditionalLanguage EducationalProgram "教育計劃") domainEnglishFormat.kif 21275-21275
(termFormat EnglishLanguage EducationalProgram "educational program") domainEnglishFormat.kif 21274-21274

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 16617-16625

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 16514-16522
(=>
    (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 7231-7240


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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