No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21278-21278 |
植物学 是 生物学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21237-21237 |
制图 是 地理 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21315-21315 |
电气工程领域 是 工程 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21320-21320 |
电子产品 是 工程 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21319-21319 |
电子产品 是 物理 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21335-21335 |
机械工程领域 是 工程 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21328-21328 |
力学领域 是 数学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21329-21329 |
力学领域 是 物理 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21268-21268 |
医药科学 是 生物学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21263-21263 |
生理 是 生物学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21325-21325 |
PowerElectronics 是 电子产品 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21272-21272 |
老兵专用医药 是 医药科学 的 sub-field |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21283-21283 |
动物学 是 生物学 的 sub-field |