TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6877-6877
No TPTP formula. May not be expressible in strict first order.	Geography.kif 142-142	非洲南部是非洲的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 198-198	非洲南部是東半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 199-199	非洲南部是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 81-81	例非洲南部 and GeographicArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 152-152	安哥拉是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 154-154	Bassas da 印度是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 155-155	博茨瓦納是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 157-157	布維島是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 158-158	科摩羅是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 160-160	歐羅巴島是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 161-161	Glorioso島嶼是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 162-162	聽過島嶼和麥當勞群島是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 163-163	胡安德諾瓦島是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 164-164	萊索托是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 166-166	馬達加斯加是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 168-168	馬拉維是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 170-170	毛里求斯是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 172-172	馬約特是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 173-173	莫桑比克是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 175-175	納米比亞是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 177-177	團圓是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 179-179	南非是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 181-181	斯威士蘭是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 183-183	特羅姆林島是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 184-184	贊比亞是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 186-186	津巴布韋是非洲南部的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 111-111	名 "Southern Africa" and 非洲南部
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54144-54144
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54143-54143

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: