Kilometer | ![]() |
appearance as argument number 1 |
![]() |
(documentation Kilometer ChineseLanguage "这是 Meter 的倍数。符号:km。1 Meter 是1000之 1 Kilometer。") | chinese_format.kif 2516-2517 | |
(documentation Kilometer EnglishLanguage "Supermultiple of Meter. Symbol: km. A Meter is the 1000th part of a Kilometer") | Merge.kif 6796-6797 | |
(documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 Meter は Kilometer の1000番目の部分である。") | japanese_format.kif 1216-1217 | |
(instance Kilometer UnitOfLength) | Merge.kif 6794-6794 | Kilometer est une instance de UnitOfLength |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Kilometer "公里") | domainEnglishFormat.kif 32563-32563 | |
(termFormat ChineseTraditionalLanguage Kilometer "公里") | domainEnglishFormat.kif 32562-32562 | |
(termFormat EnglishLanguage Kilometer "kilometer") | domainEnglishFormat.kif 32561-32561 |
antecedent |
![]() |
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0))) |
Weather.kif 2566-2580 |
|
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6799-6802 | Nombre r�el Kilometer(s) est nombre r�el + 1000 Meter(s) |
![]() |
![]() |