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 6806-6807 | |
(documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 Meter は Kilometer の1000番目の部分である。") | japanese_format.kif 1216-1217 | |
(instance Kilometer UnitOfLength) | Merge.kif 6804-6804 | Kilometer est une instance de UnitOfLength |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Kilometer "公里") | domainEnglishFormat.kif 32568-32568 | |
(termFormat ChineseTraditionalLanguage Kilometer "公里") | domainEnglishFormat.kif 32567-32567 | |
(termFormat EnglishLanguage Kilometer "kilometer") | domainEnglishFormat.kif 32566-32566 |
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 2955-2969 |
|
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6809-6812 | Nombre r�el Kilometer(s) est nombre r�el + 1000 Meter(s) |
(equal SquareKilometer (SquareUnitFn Kilometer)) |
Geography.kif 618-618 | SquareKilometer est SquareUnitFn Kilometer |
![]() |
![]() |