| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16652-16652 | 学校 是 教育机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16657-16657 | 公立学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16661-16661 | 私立学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16665-16665 | 中学 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16684-16684 | 中学 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16703-16703 | 职业学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16721-16721 | 中学后 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16761-16761 | 艺术学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16777-16777 | 日间学校 是 学校 的 subclass |
|
|