WakeIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3853-3853	苏醒岛是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3854-3854
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 830-830
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 704-704	苏醒岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3920-3920	苏醒岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 656-656	苏醒岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2623-2623	苏醒岛是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4229-4229	苏醒岛的名是 "Wake Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62079-62079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62078-62078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62077-62077