ArcticOcean(北冰洋) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4637-4637 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2435-2435 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4639-4639 | 北冰洋 是 北半球 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4634-4634 | 北冰洋 是 海洋 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3584-3584 | 北冰洋 和 北极地区 重叠 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | 北冰洋 是 partlyLocated 在 东半球 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | 北冰洋 是 partlyLocated 在 西半球 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1675-1675 | 北海航线 是 北冰洋 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1666-1666 | 西北通道 是 北冰洋 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 882-882 | 阿拉斯加州 接上 北冰洋 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4635-4635 | 北冰洋 的名 是 "Arctic Ocean" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8268-8268 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8267-8267 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 8266-8266 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4643-4647 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4643-4647 |