| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16652-16652 | 子類 學校 and EducationalOrganization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16657-16657 | 子類 公立學校 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16661-16661 | 子類 私立學校 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16665-16665 | 子類 中學 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16684-16684 | 子類 中學 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16703-16703 | 子類 職業學校 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16721-16721 | 子類 中學後 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16761-16761 | 子類 藝術學校 and 學校 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16777-16777 | 子類 日間學校 and 學校 |
|
|