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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Colombia
Colombia(哥倫比亞)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3077-3077 哥倫比亞比索 是 哥倫比亞 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1215-1215
No TPTP formula. May not be expressible in strict first order. Economy.kif 634-634 發展中國家 是 哥倫比亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 250-250 較未發達國家 是 哥倫比亞 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 358-358
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5226-5226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5113-5113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5230-5230
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5227-5227
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5229-5229
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 503-503 哥倫比亞 是 北美洲南部 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 504-504 例 哥倫比亞 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2610-2610 Barrancabermeja哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2663-2663 波哥大哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2678-2678 布卡拉曼加哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2697-2697 卡利哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2707-2707 Carmen de bolivar 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2709-2709 Cerrejon哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2727-2727 Choco 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2738-2738 哥倫比亞市哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2756-2756 Cundi namarca 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2758-2758 Cupiagua哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2821-2821 El bagre 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2825-2825 El playon 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2845-2845 Formeque哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2853-2853 Fusagasusa哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3099-3099 La guajira 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3146-3146 Los katios國家公園哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3168-3168 馬格達萊納哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3218-3218 麥德林哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3228-3228 Meta哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3243-3243 Mitu哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3270-3270 Mutata哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3322-3322 北桑坦德哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3346-3346 Olaya herrera 哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3379-3379 Papayin哥倫比亞 是 哥倫比亞 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3401-3401 波爾圖阿爾維拉哥倫比亞 是 哥倫比亞 的 geographic 次要地區

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2679-2679 "CO" 在 ISO-3166-1-alpha-2 denotes 哥倫比亞


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