HowlandIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3791-3791	Howland岛是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3792-3792
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 507-507
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 670-670	Howland岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3888-3888	Howland岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 644-644	Howland岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2619-2619	Howland岛是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4202-4202	Howland岛的名是 "Howland Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28791-28791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28790-28790
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28789-28789