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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VillavicencioColombia
VillavicencioColombia(比利亞維森西奧哥倫比亞)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2430-2430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1352-1352
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3649-3649 比利亞維森西奧哥倫比亞哥倫比亞geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2429-2429 比利亞維森西奧哥倫比亞 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3650-3650 "Villavicencio" and 比利亞維森西奧哥倫比亞
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61670-61670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61669-61669
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61668-61668


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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