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	西方银行是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4237-4237	西方银行是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 238-238	西方银行是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 269-269	西方银行是国家的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2581-2581	西方银行接上以色列

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: