SoutheasternAsia - Sigma 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	例東南亞 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 269-269	在空間上重疊東南亞 and 北半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 270-270	在空間上重疊東南亞 and 南半球

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" and 東南亞
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: