No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1849-1849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5027-5027 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4910-4910 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5028-5028 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3003-3003 |
朱拜勒沙特阿拉伯 是 沙特阿拉伯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1848-1848 |
例 朱拜勒沙特阿拉伯 and City |