No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1032-1032 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5380-5380 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5381-5381 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5382-5382 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5150-5150 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5378-5378 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5376-5376 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5383-5383 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1029-1029 |
Nevada e' uma instancia de AmericanState |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1031-1031 |
Nevada encontra California |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1030-1030 |
Nevada encontra Oregon |