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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BucaramangaColombia

Sigma KEE - BucaramangaColombia
BucaramangaColombia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1573-1573
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1334-1334
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2678-2678 geographicSubregion BucaramangaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1572-1572 BucaramangaColombia est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2679-2679 BucaramangaColombia s'appele nom "Bucaramanga"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12203-12203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12202-12202
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12201-12201


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