No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 926-926 |
Florida meets alabama |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 933-933 |
Georgia meets alabama |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1105-1105 |
Tennessee meets alabama |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6372-6372 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6371-6371 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6370-6370 |
|