No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8807-8807 |
油 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8558-8558 |
有机化合物 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2044-2044 |
磷酸盐 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5983-5983 |
磷酸 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2050-2050 |
钾肥 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1453-1453 |
石房蛤毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7166-7166 |
二氧化硫 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1477-1477 |
河豚毒素 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14329-14329 |
水 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1701-1701 |
蜡 是 复合物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 827-827 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 503-503 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 36-36 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 39-39 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2188-2188 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 455-455 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 41-41 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 70-70 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 524-524 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 40-40 |
|