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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MunchenGladbachGermany
MunchenGladbachGermany(munchen gladbach germany)
more pictures...		Muenchen, Munich

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2077-2077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3567-3567
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3561-3561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3354-3354
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3562-3562
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3563-3563
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3568-3568
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3570-3570
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3566-3566
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3564-3564
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3569-3569
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 2076-2076 Munchen gladbach germany is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3262-3262 Munchen gladbach germany has name "Munchen"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3261-3261 Munchen gladbach germany has name "Munchen-Gladbach"
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3263-3263 Munchen gladbach germany has name "Munich"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39267-39267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39266-39266
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39265-39265


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