No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 717-717 |
Germany is a capital city of berlin germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2582-2582 |
Bad vilbel germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2640-2640 |
Berlin germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2667-2667 |
Bonn germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2736-2736 |
Cologne germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2796-2796 |
Dortmund germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2800-2800 |
Duesseldorf germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2847-2847 |
Frankfurt germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2899-2899 |
Hamburg germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2905-2905 |
Hannover germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3150-3150 |
Luebeck germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3260-3260 |
Munchen gladbach germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3264-3264 |
Munster germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3333-3333 |
Nuremburg germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3358-3358 |
Ossnabruck germany is a geographic subregion of germany |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5107-5107 |
The headquarters of Sortimo Corporation is in germany |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4020-4020 |
Germany has name "Germany" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25920-25920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25919-25919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25918-25918 |
|