TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6876-6876
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7928-7928
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7929-7929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7930-7930
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7931-7931
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7932-7932
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7933-7933
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7936-7936
No TPTP formula. May not be expressible in strict first order.	Geography.kif 183-183	东南亚是亚洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 268-268	东南亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 104-104	东南亚是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 269-269	东南亚和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 270-270	东南亚和南半球重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 598-598	阿什莫尔和卡地亚岛屿是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 599-599	文莱是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 604-604	柬埔寨是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 606-606	圣诞岛是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 607-607	科科斯基林群岛是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 608-608	东帝是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 610-610	印度尼西亚是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 612-612	寮是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 614-614	马来西亚是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 601-601	缅甸是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 616-616	巴布亚新几内亚是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 618-618	西沙群岛是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 619-619	菲律宾是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 621-621	新加坡是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 623-623	南沙群岛是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 624-624	泰国是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 626-626	越南是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 135-135	东南亚的名是 "Southeastern Asia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54096-54096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54095-54095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54094-54094

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: