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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CundiNamarcaColombia

Sigma KEE - CundiNamarcaColombia
CundiNamarcaColombia

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1645-1645
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5609-5609
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5723-5723
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2756-2756 geographicSubregion CundiNamarcaColombia and Colombia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1644-1644 CundiNamarcaColombia est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2757-2757 CundiNamarcaColombia s'appele nom "Cundi-namarca"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18018-18018
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18017-18017
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18016-18016


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