AshmoreAndCartierIslands - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3732-3732	阿什莫尔和卡地亚岛屿是澳大利亚的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3733-3733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 240-240
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 598-598	阿什莫尔和卡地亚岛屿是东南亚的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3861-3861	阿什莫尔和卡地亚岛屿是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 592-592	阿什莫尔和卡地亚岛屿是土地面积的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4172-4172	阿什莫尔和卡地亚岛屿的名是 "Ashmore and Cartier Islands"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8646-8646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8645-8645
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8644-8644