| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18896-18901 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21122-21122 | 科学 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21126-21126 | 社会科学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21137-21137 | 精算科学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21194-21194 | 天文学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21199-21199 | 计算机科学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21206-21206 | 地理 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21211-21211 | 制图 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21214-21214 | 地质学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21218-21218 | LibraryScience 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21232-21232 | 生物学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21237-21237 | 生理 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21242-21242 | 医药科学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21246-21246 | 老兵专用医药 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21252-21252 | 植物学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21257-21257 | 动物学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21262-21262 | 自然科学领域 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21264-21264 | Biochemistry 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21265-21265 | 化学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21269-21269 | 古生物学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21272-21272 | 物理 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21275-21275 | 工程 是 科学 的 subclass |
|
|