No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2168-2168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4211-4211 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4214-4214 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4215-4215 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3993-3993 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4213-4213 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4212-4212 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3356-3356 |
geographicSubregion OsloNorway and Norway |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2167-2167 |
OsloNorway e' uma instancia de Cidade |