![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(instance AntarcticCircumpolarCurrent WaterMotion) | Geography.kif 4593-4593 | Antarctic circumpolar current is an instance of water motion |
(located AntarcticCircumpolarCurrent SouthernOcean) | Geography.kif 4594-4594 | Antarctic circumpolar current is located at southern ocean |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AntarcticCircumpolarCurrent "南极极地电流") | domainEnglishFormat.kif 7773-7773 | |
(termFormat ChineseTraditionalLanguage AntarcticCircumpolarCurrent "南極極地電流") | domainEnglishFormat.kif 7772-7772 | |
(termFormat EnglishLanguage AntarcticCircumpolarCurrent "antarctic circumpolar current") | domainEnglishFormat.kif 7771-7771 |
antecedent |
![]() |
(=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000.0 (KiloFn Meter)))) |
Geography.kif 4596-4602 |
|
![]() |
![]() |