No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 786-786 |
capitalCity SaintPaulMinnesota and Minnesota |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 788-789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5495-5495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5170-5170 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5492-5492 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5493-5493 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5494-5494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5489-5489 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5491-5491 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5490-5490 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 785-785 |
SaintPaulMinnesota e' uma instancia de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 787-787 |
SaintPaulMinnesota encontra MinneapolisMinnesota |