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 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1031-1031 |
Nevada 接上 加州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1030-1030 |
Nevada 接上 Oregon |