KingmanReef - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3805-3805	金曼礁是美国的 dependent
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3806-3806
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 538-538
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 673-673	金曼礁是大洋洲的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3895-3895	金曼礁是依赖或特殊主权领域的 instance
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 647-647	金曼礁是土地面积的 instance
No TPTP formula. May not be expressible in strict first order.	Media.kif 2621-2621	金曼礁是 UnitedStatesMinorOutlyingIslands 的 member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4205-4205	金曼礁的名是 "Kingman Reef"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32575-32575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32574-32574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32573-32573