(subclass PostSecondarySchool School) | Mid-level-ontology.kif 16722-16722 | |
(subclass JuniorCollege PostSecondarySchool) | Mid-level-ontology.kif 16727-16727 | |
(subclass College PostSecondarySchool) | Mid-level-ontology.kif 16731-16731 | |
(subclass University PostSecondarySchool) | Mid-level-ontology.kif 16739-16739 | |
(subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 16746-16746 |