| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8292-8301 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16791-16791 | 研究领域 是 命题 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21109-21109 | 文献 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21113-21113 | 数学 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21117-21117 | 室内设计 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21121-21121 | 科学 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21141-21141 | Archeology 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21178-21178 | 建筑 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21282-21282 | 统计 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21286-21286 | 电气工程领域 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21293-21293 | 电子产品 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21298-21298 | PowerElectronics 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21302-21302 | 力学领域 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21308-21308 | 机械工程领域 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21313-21313 | 神学 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21323-21323 | 军事科学 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21326-21326 | 历史 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21330-21330 | 哲学 是 研究领域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21334-21334 | 法律领域 是 研究领域 的 subclass |
|
|