(subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 16745-16745 | GraduateSchool は PostSecondarySchool の subclass では %n |
(subclass MedicalSchool GraduateSchool) | Mid-level-ontology.kif 16757-16757 | MedicalSchool は GraduateSchool の subclass では %n |