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 is an instance of american state |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 978-978 |
Maine meets canada |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 977-977 |
Maine meets new hampshire |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 979-979 |
Maine meets north atlantic ocean |