JohnstonAtoll - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3801-3801	约翰斯顿环礁是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3802-3802
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 530-530
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 672-672	约翰斯顿环礁是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3893-3893	约翰斯顿环礁是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 646-646	约翰斯顿环礁是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2625-2625	约翰斯顿环礁是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4204-4204	约翰斯顿环礁的名是 "Johnston Atoll"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31657-31657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31656-31656
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31655-31655