No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2773-2773 |
臭氧盾 是 复合物质 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2429-2429 |
永久冻土 是 复合物质 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1085-1085 |
純物质 详尽无遗地 partition 成 复合物质 和 元素物质 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5610-5610 |
矾土 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21730-21730 |
原子团 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1996-1996 |
重晶石 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14699-14699 |
碳水化物 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3409-3409 |
CarbonDioxide 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5921-5921 |
水泥 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8721-8721 |
化学酸 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 445-445 |
化学剂 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8738-8738 |
化学基地 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5816-5816 |
化学产品 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8742-8742 |
盐 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1788-1788 |
Chlorofluorocarbon 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2013-2013 |
铬铁矿 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6474-6474 |
共轭物质 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1468-1468 |
芋螺毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2639-2639 |
DDT 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 81-81 |
非法药物 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5621-5621 |
铁矿 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15664-15664 |
分子 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2034-2034 |
天然气 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7201-7201 |
一氧化氮 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7226-7226 |
二氧化氮 是 复合物质 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |