No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1103-1103 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5513-5513 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5514-5514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5516-5516 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5178-5178 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5512-5512 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5515-5515 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5517-5517 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1099-1099 |
SouthDakota e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1100-1100 |
SouthDakota encontra Montana |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1102-1102 |
SouthDakota encontra Nebraska |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1101-1101 |
SouthDakota encontra Wyoming |