BakerIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3734-3734	贝克岛是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3735-3735
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 251-251
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 663-663	贝克岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3862-3862	贝克岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 640-640	贝克岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2618-2618	贝克岛是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4196-4196	贝克岛的名是 "Baker Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9636-9636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9635-9635
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9634-9634