TreeView 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	例加勒比地區 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 290-290	方位加勒比地區, 北美 and 南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 289-289	方位加勒比地區, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order.	Geography.kif 167-167	在空間上重疊加勒比地區 and 北美
No TPTP formula. May not be expressible in strict first order.	Geography.kif 166-166	在空間上重疊加勒比地區 and 南美洲

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 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: