NavassaIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3817-3817	纳瓦萨岛是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3818-3818
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 614-614
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 453-453	纳瓦萨岛是加勒比地区的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3901-3901	纳瓦萨岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 423-423	纳瓦萨岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2622-2622	纳瓦萨岛是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4102-4102	纳瓦萨岛的名是 "Navassa Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39963-39963
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39962-39962
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39961-39961