No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 887-888 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5101-5101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5206-5206 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5210-5210 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5211-5211 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5208-5208 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5209-5209 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5207-5207 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5212-5212 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 883-883 |
Arizona e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 885-885 |
Arizona encontra California |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 886-886 |
Arizona encontra Mexico |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 884-884 |
Arizona encontra Nevada |