|
|
   GraduateSchool
|
|
|
| appearance as argument number 1 |
|
|
| (documentation GraduateSchool EnglishLanguage "A School which is devoted to a specific subject area, which admits students that have a bachelor's degree, which grants masters and/ or doctorate degrees, and which is part of a University.") | Mid-level-ontology.kif 16747-16749 | |
| (subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 16746-16746 |
| appearance as argument number 2 |
|
|
| (subclass MedicalSchool GraduateSchool) | Mid-level-ontology.kif 16758-16758 | |
| (termFormat ChineseLanguage GraduateSchool "研究所") | domainEnglishFormat.kif 26358-26358 | |
| (termFormat ChineseTraditionalLanguage GraduateSchool "研究所") | domainEnglishFormat.kif 26357-26357 | |
| (termFormat EnglishLanguage GraduateSchool "graduate school") | domainEnglishFormat.kif 26356-26356 |
| antecedent |
|
|
| (=> (instance ?S GraduateSchool) (exists (?U) (and (instance ?U University) (part ?S ?U)))) |
Mid-level-ontology.kif 16751-16756 |
|
|
|