| 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 6821-6822 | |
| (documentation Kilometer JapaneseLanguage "Meter の超多重項。シンボル:km。 Meter は Kilometer の1000番目の部分である。") | japanese_format.kif 1216-1217 | |
| (instance Kilometer UnitOfLength) | Merge.kif 6819-6819 |
| 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 3395-3409 |
| statement |
|
|
| (equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6824-6827 | |
| (equal SquareKilometer (SquareUnitFn Kilometer)) |
Geography.kif 788-788 |
|
|
|