KnotUnitOfSpeed
|
|
appearance as argument number 1 |
(documentation KnotUnitOfSpeed EnglishLanguage "KnotUnitOfSpeed is a unit for measuring speed. One KnotUnitOfSpeed is equal to one NauticalMile per one HourDuration.") | Geography.kif 3925-3927 | |
(instance KnotUnitOfSpeed CompositeUnitOfMeasure) | Geography.kif 3924-3924 | 例 結速度單位 and CompositeUnitOfMeasure |
appearance as argument number 2 |
(abbreviation "kt" KnotUnitOfSpeed) | Geography.kif 3922-3922 | 結速度單位 是 "kt" 的簡稱 |
(names "knot" KnotUnitOfSpeed) | Geography.kif 3921-3921 | 名 "knot" and 結速度單位 |
(termFormat ChineseLanguage KnotUnitOfSpeed "结速度单位") | domainEnglishFormat.kif 32719-32719 | |
(termFormat ChineseTraditionalLanguage KnotUnitOfSpeed "結速度單位") | domainEnglishFormat.kif 32718-32718 | |
(termFormat EnglishLanguage KnotUnitOfSpeed "knot unit of speed") | domainEnglishFormat.kif 32717-32717 |
antecedent |
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (measure ?ZEPHYR (MeasureFn ?SPEED KnotUnitOfSpeed))) (surfaceWindSpeed ?PLACE (MeasureFn ?SPEED KnotUnitOfSpeed))) |
Weather.kif 147-153 | |
(=> (and (measure (FlowFn ?FLUID) (MeasureFn ?NUM KnotUnitOfSpeed)) (piece ?PART ?FLUID)) (piece ?PART (MeasureFn ?NUM KnotUnitOfSpeed))) |
Geography.kif 4905-4909 | |
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 3939-3945 |
|
consequent |