No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1981-1981 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3549-3549 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3548-3548 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3547-3547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3550-3550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3346-3346 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3150-3150 |
geographicSubregion LuebeckGermany and Germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1980-1980 |
LuebeckGermany e' uma instancia de Cidade |