JarvisIsland - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3797-3797	贾维斯岛是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3798-3798
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 528-528
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 671-671	贾维斯岛是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3891-3891	贾维斯岛是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 645-645	贾维斯岛是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2620-2620	贾维斯岛是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4203-4203	贾维斯岛的名是 "Jarvis Island"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31525-31525
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31524-31524
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31523-31523