TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3723-3723	以色列是西方銀行的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3724-3724	巴勒斯坦解放組織是西方銀行的 claimed 領土
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1388-1388
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 836-836
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3642-3642
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8795-8795
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9814-9814
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9815-9815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3640-3640
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3639-3639
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9816-9816
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 268-268	西方銀行是中東地區的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Media.kif 2572-2572	西方銀行是 PalestinianTerritories 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1387-1387	例西方銀行 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4237-4237	例西方銀行 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 238-238	例西方銀行 and LandArea
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 269-269	例西方銀行 and Nation
No TPTP formula. May not be expressible in strict first order.	Media.kif 2581-2581	空間的符合西方銀行 and 以色列

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2980-2980	西方銀行是 JerusalemPalestine 的 capital 城市
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2500-2500	阿多拉西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2516-2516	Alei zahav 西方銀行是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2524-2524	Alon 是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2552-2552	阿里爾西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2659-2659	B kaot 西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2592-2592	Bakka al 沙爾基亞西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2624-2624	貝特埃爾西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2626-2626	拜特哈吉西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2628-2628	拜特薩胡爾西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2649-2649	伯利恆西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2651-2651	比亞西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2783-2783	Dir 納巴拉西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2815-2815	Efrat西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2819-2819	Einav西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2831-2831	埃爾azzariya西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2823-2823	El bireh 西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2835-2835	伊曼紐爾西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2857-2857	甘尼姆西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2874-2874	Givat ze ev 西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2890-2890	Gush etzion 西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2903-2903	哈姆拉西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2907-2907	哈布拉查西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2917-2917	希伯倫西岸是西方銀行的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2927-2927	Hizma西岸是西方銀行的 geographic 次要地區

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: