| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 852-852 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6337-6337 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6338-6338 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5943-5943 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6322-6322 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6323-6323 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6324-6324 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6326-6326 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6327-6327 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6332-6332 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6334-6334 |
|
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 850-850 |
达拉斯得克萨斯 是 美国城市 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 851-851 |
达拉斯得克萨斯 是 德州 的 part |
more pictures...