No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 980-980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5325-5325 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5137-5137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5326-5326 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5324-5324 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 976-976 |
Maine est une instance de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 978-978 |
Maine rencontre Canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 977-977 |
Maine rencontre NewHampshire |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 979-979 |
Maine rencontre NorthAtlanticOcean |