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 6380-6383 | |
(domain SpeedFn 1 LengthMeasure) | Merge.kif 6376-6376 | The number 1 argument of speed is an instance of length measure |
(domain SpeedFn 2 TimeDuration) | Merge.kif 6377-6377 | The number 2 argument of speed is an instance of time duration |
(instance SpeedFn BinaryFunction) | Merge.kif 6375-6375 | Speed is an instance of binary function |
(instance SpeedFn TotalValuedRelation) | Merge.kif 6374-6374 | Speed is an instance of total valued relation |
(range SpeedFn FunctionQuantity) | Merge.kif 6378-6378 | The range of speed is an instance of function quantity |
(subrelation SpeedFn PerFn) | Merge.kif 6373-6373 | Speed is a subrelation of per |
appearance as argument number 2 |
![]() |
(format ChineseLanguage SpeedFn "%1 除以 %2") | chinese_format.kif 659-659 | |
(format EnglishLanguage SpeedFn "%1 per %2") | english_format.kif 665-665 | |
(termFormat ChineseLanguage SpeedFn "速度") | domainEnglishFormat.kif 54596-54596 | |
(termFormat ChineseLanguage SpeedFn "速率函数") | chinese_format.kif 660-660 | |
(termFormat ChineseTraditionalLanguage SpeedFn "速度") | domainEnglishFormat.kif 54595-54595 | |
(termFormat EnglishLanguage SpeedFn "speed") | domainEnglishFormat.kif 54594-54594 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |