No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4244-4244 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5164-5164 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4241-4241 |
例 紅河 and 河 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4242-4242 |
部分 紅河 and 密西西比河 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4243-4243 |
部分 紅河 and 美國 |