No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1098-1098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5507-5507 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5177-5177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5509-5509 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1095-1095 |
例 SouthCarolina and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1097-1097 |
空間的符合 SouthCarolina and 格魯吉亞 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1096-1096 |
空間的符合 SouthCarolina and 北大西洋 |