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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OssnabruckGermany

 Sigma KEE - OssnabruckGermany
OssnabruckGermany(奧斯納布魯克德國)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2170-2170
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3364-3364
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3582-3582
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3358-3358 奧斯納布魯克德國 是 德國 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2169-2169 例 奧斯納布魯克德國 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3359-3359 名 "Ossnabruck" and 奧斯納布魯克德國
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42672-42672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42671-42671
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42670-42670


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