No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2367-2367 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1381-1381 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8049-8049 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8050-8050 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8051-8051 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8052-8052 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8053-8053 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8054-8054 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8055-8055 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8070-8070 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8056-8056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6916-6916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8060-8060 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8062-8062 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8063-8063 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3574-3574 |
geographicSubregion TeheranIran and Iran |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2366-2366 |
TeheranIran e' uma instancia de Cidade |