No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2596-2596 |
子類 石棉 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1997-1997 |
子類 重晶石 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2014-2014 |
子類 鉻鐵礦 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2017-2017 |
子類 煤 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5645-5645 |
子類 銅礦 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8765-8765 |
子類 鑽石 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5624-5624 |
子類 鐵礦 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5665-5665 |
子類 鉛礦 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5655-5655 |
子類 鎳礦石 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2056-2056 |
子類 滑石 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5675-5675 |
子類 鋅礦石 and Mineral |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 962-962 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1131-1131 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 639-639 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 173-173 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2323-2323 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 591-591 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 207-207 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 660-660 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 174-174 |
|