No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1797-1797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3981-3981 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4142-4142 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2925-2925 |
geographicSubregion HilversumNetherlands and Netherlands |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1796-1796 |
HilversumNetherlands e' uma instancia de Cidade |