EuropaIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3764-3764	欧罗巴岛是法国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3765-3765
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 417-417
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 160-160	欧罗巴岛是非洲南部的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3874-3874	欧罗巴岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 139-139	欧罗巴岛是岛的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 140-140	欧罗巴岛接上印度洋

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3960-3960	欧罗巴岛的名是 "Europa Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22522-22522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22521-22521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22520-22520