No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21142-21142 |
Archeology 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21179-21179 |
建筑 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21287-21287 |
电气工程领域 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21294-21294 |
电子产品 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21335-21335 |
法律领域 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21327-21327 |
历史 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21118-21118 |
室内设计 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21110-21110 |
文献 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21114-21114 |
数学 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21309-21309 |
机械工程领域 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21303-21303 |
力学领域 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21324-21324 |
军事科学 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21331-21331 |
哲学 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21299-21299 |
PowerElectronics 是 研究领域 的 subclass |
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 21283-21283 |
统计 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21314-21314 |
神学 是 研究领域 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1231-1231 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1683-1683 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 909-909 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 442-442 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 445-445 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2593-2593 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 861-861 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |