TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8261-8261
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6975-6975
No TPTP formula. May not be expressible in strict first order.	Geography.kif 143-143	西非是非洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 82-82	西非是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 201-201	西非和东半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 203-203	西非和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 204-204	西非和南半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 202-202	西非和西半球重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 191-191	贝宁是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 193-193	布基纳法索是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 195-195	喀麦隆是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 197-197	佛得角是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 199-199	科特迪瓦科特迪瓦是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 201-201	赤道几内亚是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 203-203	加蓬是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 205-205	冈比亚是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 207-207	加纳是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 209-209	几内亚是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 211-211	几内亚比绍是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 213-213	利比里亚是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 215-215	马里是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 217-217	尼日尔是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 219-219	尼日利亚是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 221-221	圣多美和普林西比是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 223-223	塞内加尔是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 225-225	塞拉利昂是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 227-227	多哥是西非的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 112-112	西非的名是 "Western Africa"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62751-62751
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62750-62750
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62749-62749

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

CountriesAndRegions.kif 233-233

圣海伦娜是在南美洲和西非 between

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: