TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3481-3482
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1742-1742
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3480-3480	东半球是半球的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3525-3525	非洲是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3552-3552	亚洲是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 186-186	中非是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 256-256	中亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 212-212	欧洲中部是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 190-190	东非是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 259-259	东亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 209-209	东欧洲是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 206-206	中东地区是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 262-262	北亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 215-215	北欧是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1676-1676	北海航线是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 268-268	东南亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 225-225	东南欧是东半球的 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 264-264	南亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 218-218	南欧是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 272-272	西南亚是东半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3540-3540	南极洲和东半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3582-3582	北极地区和东半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3545-3545	欧洲和东半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 194-194	北非和东半球重叠
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 228-228	西南欧和东半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3619-3619	热带和东半球重叠

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 3488-3494

实体是半球的 instance 若且唯若那个实体 equal 北半球或那个实体 equal 南半球或那个实体 equal 东半球或那个实体 equal 西半球

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: