| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16653-16653 | 学校 是 教育机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16658-16658 | 公立学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16662-16662 | 私立学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16666-16666 | 中学 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16685-16685 | 中学 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16704-16704 | 职业学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16722-16722 | 中学后 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16762-16762 | 艺术学校 是 学校 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16778-16778 | 日间学校 是 学校 的 subclass |
|
|