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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CologneGermany

 Sigma KEE - CologneGermany
CologneGermany(科隆德國)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1627-1627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3460-3460
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3313-3313
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3462-3462
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3458-3458
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3461-3461
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2736-2736 科隆德國 是 德國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1626-1626 例 科隆德國 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2737-2737 名 "Cologne" and 科隆德國
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15636-15636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15635-15635
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15634-15634


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