EducationalProgram - Sigma Knowledge base Browser

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

appearance as argument number 2

(subclass EducationalCourse EducationalProgram)	Mid-level-ontology.kif 16845-16845	Educational course is a subclass of educational program
(termFormat ChineseLanguage EducationalProgram "教育计划")	domainEnglishFormat.kif 21292-21292	Educational course is a subclass of educational program
(termFormat ChineseTraditionalLanguage EducationalProgram "教育計劃")	domainEnglishFormat.kif 21291-21291	Educational course is a subclass of educational program
(termFormat EnglishLanguage EducationalProgram "educational program")	domainEnglishFormat.kif 21290-21290	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 16835-16843

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

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 16732-16740	If an object is an instance of academic degree and an agent possesses the object, then there exist a proposition and a process such that the proposition is an instance of educational program and the process expresses the content of the proposition and the agent experiences the process
(=> (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 7449-7458	If a process is an instance of scholarship and the process ends up at an entity, then the process has the purpose there exist another entity and a third entity such that the other entity is an instance of educational program and the third entity expresses the content of the other entity and the entity experiences the third entity

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: