No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5007-5007 |
The headquarters of Peterbilt is in texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 891-891 |
Arkansas meets texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 912-912 |
Colorado meets texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 962-962 |
Kansas meets texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 972-972 |
Louisiana meets texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1117-1117 |
Texas has name "Texas" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
Dallas texas is a part of texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 828-828 |
Houston texas is a part of texas |
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 |
|