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 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 885-885 |
Arizona 接上 加州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 886-886 |
Arizona 接上 墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 884-884 |
Arizona 接上 Nevada |