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 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 885-885 |
空間的符合 Arizona and 加州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 886-886 |
空間的符合 Arizona and 墨西哥 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 884-884 |
空間的符合 Arizona and Nevada |