| (subclass PostSecondarySchool School) | Mid-level-ontology.kif 16722-16722 | Post secondary school is a subclass of school |
| (subclass JuniorCollege PostSecondarySchool) | Mid-level-ontology.kif 16727-16727 | Junior college is a subclass of post secondary school |
| (subclass College PostSecondarySchool) | Mid-level-ontology.kif 16731-16731 | College is a subclass of post secondary school |
| (subclass University PostSecondarySchool) | Mid-level-ontology.kif 16739-16739 | University is a subclass of post secondary school |
| (subclass GraduateSchool PostSecondarySchool) | Mid-level-ontology.kif 16746-16746 | Graduate school is a subclass of post secondary school |
|
|