TreeView Knowledge Base Browser

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	哥伦比亚是国家的 instance

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 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

KB Term:			Term intersection

English Word: