| 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 16727-16727 | 大专 是 中学后 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16731-16731 | 学院 是 中学后 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16739-16739 | 大学 是 中学后 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16746-16746 | 研究所 是 中学后 的 subclass |
|
|