AntarcticCircumpolarCurrent |
appearance as argument number 1 |
![]() |
(instance AntarcticCircumpolarCurrent WaterMotion) | Geography.kif 4934-4934 | AntarcticCircumpolarCurrent は WaterMotion の instance では |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4935-4935 | AntarcticCircumpolarCurrent は SouthernOcean に located して |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AntarcticCircumpolarCurrent "南极极地电流") | domainEnglishFormat.kif 7765-7765 | |
(termFormat ChineseTraditionalLanguage AntarcticCircumpolarCurrent "南極極地電流") | domainEnglishFormat.kif 7764-7764 | |
(termFormat EnglishLanguage AntarcticCircumpolarCurrent "antarctic circumpolar current") | domainEnglishFormat.kif 7763-7763 |
antecedent |
![]() |
(=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000.0 (KiloFn Meter)))) |
Geography.kif 4937-4943 |
![]() |
![]() |