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	例巴基斯坦 and Nation

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" and 巴基斯坦
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: