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 e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 978-978 |
Maine encontra Canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 977-977 |
Maine encontra NewHampshire |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 979-979 |
Maine encontra NorthAtlanticOcean |