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	例珊瑚海島嶼 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 642-642	例珊瑚海島嶼 and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4198-4198	名 "Coral Sea Islands" and 珊瑚海島嶼
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