TreeView Knowledge Base Browser - NorthernHemisphere

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3473-3474
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1871-1871
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3472-3472	北半球是半球的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4639-4639	北冰洋是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3581-3581	北极地区是北半球的 geographic 次要地区
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 257-257	中亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 213-213	欧洲中部是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 260-260	东亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 210-210	东欧洲是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3544-3544	欧洲是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 235-235	中美洲是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3528-3528	北美是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4545-4545	北大西洋是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4577-4577	北太平洋是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 196-196	北非是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 180-180	北亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 216-216	北欧是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 226-226	东南欧是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 219-219	南欧是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 273-273	西南亚是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 230-230	西南欧是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 223-223	西欧是北半球的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3523-3523	非洲和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3550-3550	亚洲和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 187-187	中非和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 191-191	东非和北半球重叠
No TPTP formula. May not be expressible in strict first order.	Geography.kif 242-242	东南美洲和北半球重叠

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: