No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5673-5673 |
子類 溪 and StreamWaterArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5633-5633 |
子類 急流 and StreamWaterArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5472-5472 |
子類 河 and StreamWaterArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5656-5656 |
子類 河口 and StreamWaterArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5546-5546 |
子類 瀑布 and StreamWaterArea |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 953-953 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1113-1113 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 629-629 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 160-160 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 163-163 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2314-2314 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 581-581 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 650-650 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 164-164 |
|