|
|
  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 3847-3849 | |
| (instance KnotUnitOfSpeed CompositeUnitOfMeasure) | Geography.kif 3846-3846 |
| appearance as argument number 2 |
|
|
| (abbreviation "kt" KnotUnitOfSpeed) | Geography.kif 3844-3844 | |
| (names "knot" KnotUnitOfSpeed) | Geography.kif 3843-3843 | |
| (termFormat ChineseLanguage KnotUnitOfSpeed "结速度单位") | domainEnglishFormat.kif 32706-32706 | |
| (termFormat ChineseTraditionalLanguage KnotUnitOfSpeed "結速度單位") | domainEnglishFormat.kif 32705-32705 | |
| (termFormat EnglishLanguage KnotUnitOfSpeed "knot unit of speed") | domainEnglishFormat.kif 32704-32704 |
| 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 4803-4807 | |
| (=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 3861-3867 |
| consequent |
|
|
| (=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2))))) |
Weather.kif 1274-1295 | |
| (=> (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 4803-4807 | |
| (=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 3851-3859 | |
| (=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3))))) |
Weather.kif 2626-2639 | |
| (=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?AREA ?STRONG) (and (instance ?AREA GeographicArea) (surfaceWindSpeed ?AREA (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0))))) |
Weather.kif 2904-2913 |
|
|
|