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