TreeView Knowledge Base Browser - AshmoreAndCartierIslands

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	例阿什莫爾和卡地亞島嶼 and 依賴或特殊主權領域
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 592-592	例阿什莫爾和卡地亞島嶼 and LandArea

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4172-4172	名 "Ashmore and Cartier Islands" and 阿什莫爾和卡地亞島嶼
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