No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2059-2059 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4198-4198 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4193-4193 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4195-4195 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4194-4194 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4196-4196 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4199-4199 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3989-3989 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4197-4197 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3234-3234 |
米蘭意大利 是 意大利 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2058-2058 |
例 米蘭意大利 and City |