TreeView Knowledge Base Browser - SouthernHemisphere

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3477-3478
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1995-1995
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3476-3476	例南半球 and 半球

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3539-3539	南極洲是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 239-239	中南美洲是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4558-4558	南大西洋是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4617-4617	南太平洋是南半球的 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 4655-4655	南部海洋是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 250-250	南美洲南部是南半球的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3524-3524	在空間上重疊非洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3551-3551	在空間上重疊亞洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 188-188	在空間上重疊中非 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 192-192	在空間上重疊東非 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 243-243	在空間上重疊東南美洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 247-247	在空間上重疊北美洲南部 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3557-3557	在空間上重疊大洋洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3534-3534	在空間上重疊南美洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 270-270	在空間上重疊東南亞 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 266-266	在空間上重疊南亞 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3618-3618	在空間上重疊熱帶 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 204-204	在空間上重疊西非 and 南半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 254-254	在空間上重疊西南美洲 and 南半球
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54216-54216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54215-54215
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54214-54214

consequent

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

Geography.kif 3488-3494

例 Entity and 半球等於 Entity and 北半球等於 Entity and 南半球等於 Entity and 東半球等於 Entity and 西半球

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: