SouthPacificOcean - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4621-4623
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2528-2528
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4616-4616	南太平洋是太平洋的 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 4612-4612	南太平洋是水体的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4611-4611	南太平洋是盐水区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4618-4618	南太平洋是 partlyLocated 在东半球
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4619-4619	南太平洋是 partlyLocated 在西半球

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4630-4630	印度洋和南太平洋是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4613-4613	南太平洋的名是 "South Pacific Ocean"
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4614-4614	南太平洋的名是 "South Pacific"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54312-54312
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54311-54311
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54310-54310