MidwayIslands - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3813-3813	中途岛屿是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3814-3814
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 595-595
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 680-680	中途岛屿是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3899-3899	中途岛屿是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 648-648	中途岛屿是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2626-2626	中途岛屿是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4211-4211	中途岛屿的名是 "Midway Islands"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37493-37493
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37492-37492
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37491-37491