Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Germany

Sigma KEE - Germany
Germany(germany)
Deutschland, FRG, Federal_Republic_of_Germany, German, Germany

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2896-2896 Euro dollar is a currency type of germany
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1243-1243
No TPTP formula. May not be expressible in strict first order. Economy.kif 542-542 Advanced economy is an economy type of germany
No TPTP formula. May not be expressible in strict first order. Economy.kif 156-156 Developed country is an economy type of germany
No TPTP formula. May not be expressible in strict first order. pictureList.kif 460-460
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 279-279 Germany is a geographic subregion of central europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 280-280 Germany is an instance of european nation
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 Germany is a member of european monetary union
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1242-1242 Germany is a part of europe

appearance as argument number 2
-------------------------


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

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2685-2685 "DE" in ISO-3166-1-alpha-2 denotes germany


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners