(subclass PostSecondarySchool School) | Mid-level-ontology.kif 16721-16721 | |
(subclass JuniorCollege PostSecondarySchool) | Mid-level-ontology.kif 16726-16726 | |
(subclass College PostSecondarySchool) | Mid-level-ontology.kif 16730-16730 | |
(subclass University PostSecondarySchool) | Mid-level-ontology.kif 16738-16738 | |
(subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 16745-16745 |