| Kilometer(kilometer) | | kilometer, kilometre, klick, km |
| 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 6821-6822 | |
| (documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 Meter は Kilometer の1000番目の部分である。") | japanese_format.kif 1216-1217 | |
| (instance Kilometer UnitOfLength) | Merge.kif 6819-6819 | Kilometer is an instance of unit of length |
| 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 3290-3304 |
|
| statement |
|
|
| (equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6824-6827 | equal a real number kilometer(s) and the real number and 1000 meter(s) |
| (equal SquareKilometer (SquareUnitFn Kilometer)) |
Geography.kif 788-788 | equal square kilometer and the square unit of kilometer |
|
|
|