No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1997-1997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4161-4161 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4157-4157 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4156-4156 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4163-4163 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4162-4162 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4158-4158 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4159-4159 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3985-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4160-4160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4164-4164 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3166-3166 |
西班牙馬德里 是 西班牙 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1996-1996 |
例 西班牙馬德里 and City |