No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1131-1132 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 826-826 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1130-1130 |
例 弗吉尼亞州 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1137-1137 |
空間的符合 弗吉尼亞州 and 肯塔基 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1134-1134 |
空間的符合 弗吉尼亞州 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1135-1135 |
空間的符合 弗吉尼亞州 and 北卡羅來納 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1136-1136 |
空間的符合 弗吉尼亞州 and 田納西 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1133-1133 |
空間的符合 弗吉尼亞州 and 華盛頓特區美國 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1138-1138 |
空間的符合 弗吉尼亞州 and WestVirginia |