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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2906-2906 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 537-537 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 3185-3185 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 NuremburgGermany 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 5110-5110 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 25911-25911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25910-25910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25909-25909

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


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


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



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