| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16653-16653 | School is a subclass of educational organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | Public school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16662-16662 | Private school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16666-16666 | High school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16685-16685 | Secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16704-16704 | Vocational school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16722-16722 | Post secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16762-16762 | Art school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16778-16778 | Day school is a subclass of school |
|
|