No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5015-5015 |
PeterbiltCorp 的 headquarters 是在 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 891-891 |
空間的符合 阿肯色州 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 912-912 |
空間的符合 科羅拉多州 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 962-962 |
空間的符合 Kansas and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 972-972 |
空間的符合 路易斯安那州 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1117-1117 |
名 "Texas" and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
部分 達拉斯得克薩斯 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 828-828 |
部分 休斯敦,德克薩斯州 and 德州 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57692-57692 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57691-57691 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57690-57690 |
|