No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1066-1066 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 631-631 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1062-1062 |
North carolina is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1063-1063 |
North carolina meets north atlantic ocean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1064-1064 |
North carolina meets South Carolina |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1065-1065 |
North carolina meets tennessee |