CaribbeanRegion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6234-6234
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6236-6236
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6237-6237
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6235-6235
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6238-6238
No TPTP formula. May not be expressible in strict first order.	Geography.kif 232-232	加勒比地区是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 233-233	加勒比地区是西半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 93-93	加勒比地区是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 290-290	加勒比地区在北美的南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 289-289	加勒比地区在南美洲的北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	加勒比地区和北美重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	加勒比地区和南美洲重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 427-427	安圭拉是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 428-428	安提瓜和巴布达是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 430-430	阿鲁巴是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 433-433	巴巴多斯是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 435-435	英属维尔京群岛是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 436-436	开曼群岛是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 437-437	古巴是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 440-440	多米尼加是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 442-442	多明尼加共和国是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 444-444	格林纳达是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 446-446	瓜德罗普岛是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 447-447	海地是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 449-449	牙买加是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 451-451	马提尼克是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 452-452	蒙特塞拉特是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 453-453	纳瓦萨岛是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 454-454	荷属安的列斯是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 455-455	波多黎各是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 456-456	圣基茨和尼维斯是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 458-458	圣露西亚是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 460-460	圣文森特和格林纳丁斯是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 431-431	巴哈马是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 462-462	特立尼达和多巴哥是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 464-464	特克斯和凯科斯群岛是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 465-465	维尔京群岛是加勒比地区的 geographic 次要地区

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: