No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4992-4992 |
headquartersOfOrganization PeterbiltCorp and Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 891-891 |
Arkansas rencontre Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 912-912 |
Colorado rencontre Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 962-962 |
Kansas rencontre Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 972-972 |
Louisiana rencontre Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1117-1117 |
Texas s'appele nom "Texas" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
DallasTexas est une partie de Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 828-828 |
HoustonTexas est une partie de Texas |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57694-57694 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57693-57693 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57692-57692 |
|