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 | Graduate school is a subclass of post secondary school |
appearance as argument number 2 |
(subclass MedicalSchool GraduateSchool) | Mid-level-ontology.kif 16758-16758 | Medical school is a subclass of graduate school |
(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 |
|