TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3475-3475	歐元是西班牙的 currency 類別
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1352-1352
No TPTP formula. May not be expressible in strict first order.	Economy.kif 557-557	發達經濟是西班牙的 economy 類別
No TPTP formula. May not be expressible in strict first order.	Economy.kif 175-175	發達國家是西班牙的 economy 類別
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1565-1565
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 751-751
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 395-395	西班牙是西南歐的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 396-396	例西班牙 and 歐洲國家
No TPTP formula. May not be expressible in strict first order.	Government.kif 3217-3217	會員西班牙 and 歐洲貨幣聯盟

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2532-2532	安第斯西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2606-2606	西班牙巴塞羅那是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2618-2618	Beasain西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2653-2653	畢爾巴鄂西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2655-2655	比拉博納西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2773-2773	Deba西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2804-2804	Durango西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2851-2851	福恩吉羅拉西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2865-2865	Getxo西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2880-2880	格拉納達西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2921-2921	Hernani西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3111-3111	Lasarte西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3113-3113	雷扎西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3132-3132	洛格羅尼奧西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3166-3166	西班牙馬德里是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3174-3174	馬拉加西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3373-3373	潘普洛納西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3429-3429	Reus 西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3446-3446	羅薩斯西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3462-3462	聖塞巴斯蒂安西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3470-3470	Sallent de gallego 西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3486-3486	聖塞巴斯蒂安西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3494-3494	聖波拉西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3511-3511	塞維利亞西班牙是西班牙的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3605-3605	托薩羅西班牙是西班牙的 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 2815-2815

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