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 | KnotUnitOfSpeed は CompositeUnitOfMeasure の instance では %n |
appearance as argument number 2 |
(abbreviation "kt" KnotUnitOfSpeed) | Geography.kif 3922-3922 | abbreviation "kt" and KnotUnitOfSpeed |
(names "knot" KnotUnitOfSpeed) | Geography.kif 3921-3921 | KnotUnitOfSpeed は "knot" の name を 持って %n{ない} |
(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 159-165 | |
(=> (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 |