SpeedFn |
appearance as argument number 1 |
![]() |
(documentation SpeedFn ChineseLanguage "这个函数把LengthMeasure 的一个实例和 TimeDuration 的一个实例和由这个时间和距离比例所代表的速率联系起来。例如: (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration))表示速度55英里每小时。") | chinese_format.kif 2483-2485 | |
(documentation SpeedFn EnglishLanguage "Maps an instance of LengthMeasure and an instance of TimeDuration to the speed represented by this proportion of distance and time. For example, (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) represents the velocity of 55 miles per hour.") | Merge.kif 6671-6674 | |
(documentation SpeedFn JapaneseLanguage "LengthMeasure のインスタンスと TimeDuration の インスタンスを、この距離と時間の比率で表される速度にマップする。 例:(SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) は、時速55マイルの速度を表す。") | japanese_format.kif 1178-1180 | |
(domain SpeedFn 1 LengthMeasure) | Merge.kif 6667-6667 | |
(domain SpeedFn 2 TimeDuration) | Merge.kif 6668-6668 | |
(instance SpeedFn BinaryFunction) | Merge.kif 6666-6666 | |
(instance SpeedFn TotalValuedRelation) | Merge.kif 6665-6665 | |
(range SpeedFn FunctionQuantity) | Merge.kif 6669-6669 | |
(subrelation SpeedFn PerFn) | Merge.kif 6664-6664 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage SpeedFn "%1 除以 %2") | chinese_format.kif 659-659 | |
(format EnglishLanguage SpeedFn "%1 per %2") | english_format.kif 662-662 | |
(format FrenchLanguage SpeedFn "%1 par %2") | french_format.kif 396-396 | |
(format ItalianLanguage SpeedFn "%1 per %2") | relations-it.txt 267-267 | |
(format JapaneseLanguage SpeedFn "%2 per %1") | japanese_format.kif 2126-2126 | |
(format PortugueseLanguage SpeedFn "%1 por %2") | portuguese_format.kif 348-348 | |
(format de SpeedFn "%1 pro &2") | relations-de.txt 862-862 | |
(format hi SpeedFn "%1 prati %2") | relations-hindi.txt 304-304 | |
(format ro SpeedFn "%1 per%t{pe} %2") | relations-ro.kif 418-418 | |
(format sv SpeedFn "%1 per %2") | relations-sv.txt 439-439 | |
(format tg SpeedFn "%1 bawa't %2") | relations-tg.txt 459-459 | |
(termFormat ChineseLanguage SpeedFn "速度") | domainEnglishFormat.kif 54610-54610 | |
(termFormat ChineseLanguage SpeedFn "速率函数") | chinese_format.kif 660-660 | |
(termFormat ChineseTraditionalLanguage SpeedFn "速度") | domainEnglishFormat.kif 54609-54609 | |
(termFormat EnglishLanguage SpeedFn "speed") | domainEnglishFormat.kif 54608-54608 | |
(termFormat de SpeedFn "GeschwindigkeitFn") | terms-de.txt 258-258 |
antecedent |
![]() |
(=> (and (governorSpeed ?V ?Q) (equal (MeasureFn ?FAST MilesPerHour) (SpeedFn ?L1 ?T1)) (equal (MeasureFn ?SLOW MilesPerHour) (SpeedFn ?L2 ?T2)) (greaterThan ?FAST ?SLOW) (equal ?FASTPROB (ProbabilityFn (measure ?V (MeasureFn ?FAST MilesPerHour)))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (MeasureFn ?SLOW MilesPerHour))))) (greaterThan ?SLOWPROB ?FASTPROB)) |
Cars.kif 2868-2886 | |
(=> (and (instance ?WALK Walking) (instance ?RUN Running) (agent ?WALK ?AGENT) (agent ?RUN ?AGENT) (holdsDuring (WhenFn ?WALK) (measure ?AGENT (SpeedFn ?LENGTH1 ?TIME))) (holdsDuring (WhenFn ?RUN) (measure ?AGENT (SpeedFn ?LENGTH2 ?TIME)))) (greaterThan ?LENGTH2 ?LENGTH1)) |
Merge.kif 11281-11289 | |
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 | |
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 4969-4973 | |
(=> (and (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION) (instance ?PLACE WindFlow)) (exists (?BLOW) (and (instance ?BLOW Wind) (eventPartlyLocated ?BLOW ?PLACE) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))))) |
Weather.kif 115-123 | |
(=> (and (topSpeed ?V (MeasureFn ?Q ?CU)) (instance ?CU CompositeUnitOfMeasure) (instance ?UL UnitOfLength) (instance ?UD UnitOfDuration) (equal ?FASTPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L1 ?UL) (MeasureFn ?T1 ?UD))))) (equal ?SLOWPROB (ProbabilityFn (measure ?V (SpeedFn (MeasureFn ?L2 ?UL) (MeasureFn ?T2 ?UD))))) (greaterThan (SpeedFn ?L1 ?T1) ?Q) (greaterThan ?Q (SpeedFn ?L2 ?T2))) (greaterThan ?SLOWPROB ?FASTPROB)) |
Transportation.kif 1858-1876 | |
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 4010-4018 |
consequent |
![]() |
(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 2091-2097 | |
(=> (and (instance ?ACCELERATE Accelerating) (agent ?ACCELERATE ?AGENT)) (exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2) (and (holdsDuring (BeginFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH1 ?U1) (MeasureFn ?TIME1 ?U2)))) (holdsDuring (EndFn (WhenFn ?ACCELERATE)) (measure ?AGENT (SpeedFn (MeasureFn ?LENGTH2 ?U1) (MeasureFn ?TIME2 ?U2)))) (or (greaterThan ?LENGTH2 ?LENGTH1) (greaterThan ?TIME2 ?TIME1))))) |
Mid-level-ontology.kif 18530-18551 | |
(=> (and (instance ?D Decelerating) (agent ?D ?A)) (exists (?L1 ?L2 ?T1 ?T2 ?U1 ?U2) (and (holdsDuring (BeginFn (WhenFn ?D)) (measure ?A (SpeedFn (MeasureFn ?L1 ?U1) (MeasureFn ?T1 ?U2)))) (holdsDuring (EndFn (WhenFn ?D)) (measure ?A (SpeedFn (MeasureFn ?L2 ?U1) (MeasureFn ?T2 ?U2)))) (or (greaterThan ?L1 ?L2) (greaterThan ?T1 ?T2))))) |
Mid-level-ontology.kif 18558-18578 | |
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION)) |
Weather.kif 125-130 | |
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 | |
(=> (and (measure (FlowFn ?FLUID) (SpeedFn ?LENGTH ?TIME)) (piece ?PART ?FLUID)) (piece ?PART (SpeedFn ?LENGTH ?TIME))) |
Geography.kif 4969-4973 | |
(=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 4020-4026 | |
(=> (instance ?S Speedometer) (hasPurpose ?S (exists (?V ?T ?SPEED ?DIST ?TIME ?M) (and (instance ?V Vehicle) (part ?S ?V) (instance ?T Translocation) (instrument ?T ?V) (measure ?T ?SPEED) (equal ?SPEED (SpeedFn ?DIST ?TIME)) (instance ?M Measuring) (instrument ?M ?S) (measurementReading ?M ?SPEED))))) |
Cars.kif 3018-3032 | |
(=> (measure ?OBJECT (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION)) (measure ?OBJECT (SpeedFn ?DISTANCE ?TIME))) |
Merge.kif 6689-6691 |
![]() |
![]() |