| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16652-16652 | School is a subclass of educational organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16657-16657 | Public school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16661-16661 | Private school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16665-16665 | High school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16684-16684 | Secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16703-16703 | Vocational school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16721-16721 | Post secondary school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16761-16761 | Art school is a subclass of school |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16777-16777 | Day school is a subclass of school |
|
|