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 |
NorthCarolina est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1063-1063 |
NorthCarolina rencontre NorthAtlanticOcean |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1064-1064 |
NorthCarolina rencontre SouthCarolina |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1065-1065 |
NorthCarolina rencontre Tennessee |