TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3385-3385	巴基斯坦卢比是巴基斯坦的 currency 类别
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1317-1317
No TPTP formula. May not be expressible in strict first order.	Economy.kif 693-693	发展中国家是巴基斯坦的 economy 类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 309-309	较未发达国家是巴基斯坦的 economy 类别
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 647-647
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 580-580	巴基斯坦是南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 581-581	巴基斯坦是国家的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2588-2588	巴哈瓦尔布尔巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2711-2711	查曼巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2715-2715	Charsadda巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2788-2788	曼西拉巴基斯坦区是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2950-2950	伊斯兰堡巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3025-3025	巴基斯坦卡拉奇是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3105-3105	拉合尔巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3198-3198	马尔丹巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3241-3241	米兰沙巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3344-3344	奥卡拉巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3391-3391	白沙瓦巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3405-3405	旁遮普巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3407-3407	奎达巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3427-3427	Rawalpindi巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3455-3455	萨达巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3562-3562	泰拉巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3568-3568	Taxila巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3622-3622	Turbat巴基斯坦是巴基斯坦的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4167-4167	巴基斯坦的名是 "Pakistan"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44070-44070
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44069-44069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44068-44068

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2786-2786

"PK" 在 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: