| appearance as argument number 1 |
|
| (documentation EducationalCourse EnglishLanguage "A schedule of class meetings offered by an EducationalOrganization.") | Mid-level-ontology.kif 16846-16847 | |
| (subclass EducationalCourse EducationalProgram) | Mid-level-ontology.kif 16845-16845 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EducationalCourse "教育课程") | domainEnglishFormat.kif 21275-21275 | |
| (termFormat ChineseTraditionalLanguage EducationalCourse "教育課程") | domainEnglishFormat.kif 21274-21274 | |
| (termFormat EnglishLanguage EducationalCourse "educational course") | domainEnglishFormat.kif 21273-21273 |
| appearance as argument number 3 |
|
|
| (domain classmate 3 EducationalCourse) | Mid-level-ontology.kif 17030-17030 |
| antecedent |
|
|
| (=> (instance ?COURSE EducationalCourse) (exists (?CLASS ?ORG) (and (realization ?CLASS ?COURSE) (instance ?CLASS EducationalProcess) (eventLocated ?CLASS ?ORG) (instance ?ORG EducationalOrganization)))) |
Mid-level-ontology.kif 16849-16856 |
| 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 16835-16843 |
|
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