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 16774-16776 | |
(subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 16773-16773 |
appearance as argument number 2 |
(subclass MedicalSchool GraduateSchool) | Mid-level-ontology.kif 16785-16785 | |
(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) (subOrganization ?S ?U)))) |
Mid-level-ontology.kif 16778-16783 |