No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4802-4802 |
空間的符合 埃及 and 紅海 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4804-4804 |
空間的符合 厄立特里亞 and 紅海 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4805-4805 |
空間的符合 沙特阿拉伯 and 紅海 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4803-4803 |
空間的符合 蘇丹 and 紅海 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49070-49070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49069-49069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49068-49068 |
|