Oceania - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 637-637
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3554-3554	大洋洲是大陆的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 106-106	大洋洲是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 284-284	大洋洲在北美的西南
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3558-3558	大洋洲和东半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3556-3556	大洋洲和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3557-3557	大洋洲和南半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3559-3559	大洋洲和西半球重叠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 659-659	美国萨摩亚是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 660-660	澳大利亚是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 663-663	贝克岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 664-664	库克群岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 665-665	珊瑚海岛屿是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 666-666	斐是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 668-668	法属波利尼西亚是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 669-669	关岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 670-670	Howland岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 671-671	贾维斯岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 672-672	约翰斯顿环礁是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 673-673	金曼礁是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 674-674	基里巴斯是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 676-676	马绍尔群岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 678-678	密克罗尼西亚是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 680-680	中途岛屿是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 681-681	瑙鲁是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 683-683	新喀里多尼亚是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 684-684	新西兰是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 686-686	纽埃是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 687-687	诺福克岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 688-688	北马里亚纳群岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 689-689	帕劳是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 691-691	巴尔米拉环礁是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 692-692	皮特凯恩群岛是大洋洲的 geographic 次要地区

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

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

Geography.kif 3504-3513

实体是大陆的 instance 若且唯若非洲 equal 那个实体或北美 equal 那个实体或南美洲 equal 那个实体或南极洲 equal 那个实体或欧洲 equal 那个实体或亚洲 equal 那个实体或大洋洲 equal 那个实体

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: