| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18040-18040 | School is a subclass of educational organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18045-18045 | Public school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18049-18049 | Private school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18053-18053 | High school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18072-18072 | Secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18091-18091 | Vocational school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18109-18109 | Post secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18149-18149 | Art school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18165-18165 | Day school is a subclass of school |
|
|