No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 727-727 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4923-4923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5057-5057 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5055-5055 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5058-5058 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5056-5056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5054-5054 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 726-726 |
KansasCityMissouri e' uma instancia de AmericanCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
KansasCityMissouri e' uma &parte de Missouri |