| (subclass School EducationalOrganization) | Mid-level-ontology.kif 16652-16652 | |
| (subclass PublicSchool School) | Mid-level-ontology.kif 16657-16657 | |
| (subclass PrivateSchool School) | Mid-level-ontology.kif 16661-16661 | |
| (subclass HighSchool School) | Mid-level-ontology.kif 16665-16665 | |
| (subclass SecondarySchool School) | Mid-level-ontology.kif 16684-16684 | |
| (subclass VocationalSchool School) | Mid-level-ontology.kif 16703-16703 | |
| (subclass PostSecondarySchool School) | Mid-level-ontology.kif 16721-16721 | |
| (subclass ArtSchool School) | Mid-level-ontology.kif 16761-16761 | |
| (subclass DaySchool School) | Mid-level-ontology.kif 16777-16777 |
|
|