| (subclass School EducationalOrganization) | Mid-level-ontology.kif 16653-16653 | |
| (subclass PublicSchool School) | Mid-level-ontology.kif 16658-16658 | |
| (subclass PrivateSchool School) | Mid-level-ontology.kif 16662-16662 | |
| (subclass HighSchool School) | Mid-level-ontology.kif 16666-16666 | |
| (subclass SecondarySchool School) | Mid-level-ontology.kif 16685-16685 | |
| (subclass VocationalSchool School) | Mid-level-ontology.kif 16704-16704 | |
| (subclass PostSecondarySchool School) | Mid-level-ontology.kif 16722-16722 | |
| (subclass ArtSchool School) | Mid-level-ontology.kif 16762-16762 | |
| (subclass DaySchool School) | Mid-level-ontology.kif 16778-16778 |
|
|