CoralSeaIslands - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3762-3762	珊瑚海岛屿是澳大利亚的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3763-3763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 368-368
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 3873-3873	珊瑚海岛屿是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 642-642	珊瑚海岛屿是土地面积的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4198-4198	珊瑚海岛屿的名是 "Coral Sea Islands"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17334-17334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17333-17333
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17332-17332