TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 148-154
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 594-594
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3352-3352
No TPTP formula. May not be expressible in strict first order.	Geography.kif 206-206	中东地区是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 207-207	中东地区是西半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 83-83	中东地区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 145-145	中东地区是地缘政治区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 286-286	中东地区在非洲的东北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 285-285	中东地区在亚洲的西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 146-146	中东地区和亚洲重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 240-240	巴林是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 242-242	塞浦路斯是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 244-244	加沙地带是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 246-246	伊朗是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 248-248	伊拉克是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 250-250	以色列是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 252-252	约旦是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 254-254	科威特是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 256-256	黎巴嫩是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 258-258	阿曼是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 260-260	卡塔尔是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 262-262	沙特阿拉伯是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 264-264	叙利亚是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 266-266	阿拉伯联合酋长国是中东地区的 geographic 次要地区
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.	CountriesAndRegions.kif 270-270	叶门是中东地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 113-113	中东地区的名是 "Middle East"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37463-37463
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37462-37462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37461-37461

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: