| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5094-5094 |
例 鹹海 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5092-5092 |
例 里海 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5099-5099 |
例 死海 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5096-5096 |
例 大鹽湖 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5107-5107 |
例 koko nor and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5110-5110 |
例 巴赫特甘湖 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5104-5104 |
例 艾爾湖 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5114-5114 |
例 湖mareotis and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5119-5119 |
例 托倫斯湖 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5117-5117 |
例 湖邊的行人 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5112-5112 |
例 波波湖 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5101-5101 |
例 薩爾頓海 and 鹽湖 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50997-50997 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50996-50996 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50995-50995 |
|
