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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SanDiegoColombia

 Sigma KEE - SanDiegoColombia
SanDiegoColombia(圣地亚哥哥伦比亚)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2278-2278
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5654-5654
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3476-3476 圣地亚哥哥伦比亚 是 哥伦比亚 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2277-2277 圣地亚哥哥伦比亚 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3477-3477 圣地亚哥哥伦比亚 的名 是 "San Diego"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51075-51075
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51074-51074
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51073-51073


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