No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5015-5015 |
headquartersOfOrganization PeterbiltCorp and Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 891-891 |
Arkansas encontra Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 912-912 |
Colorado encontra Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 962-962 |
Kansas encontra Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 972-972 |
Louisiana encontra Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1117-1117 |
Texas se chama nome "Texas" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
DallasTexas e' uma &parte de Texas |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 828-828 |
HoustonTexas e' uma &parte de 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 |
|