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 6662-6665 | |
(documentation SpeedFn JapaneseLanguage "LengthMeasure のインスタンスと TimeDuration の インスタンスを、この距離と時間の比率で表される速度にマップする。 例:(SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) は、時速55マイルの速度を表す。") | japanese_format.kif 1178-1180 | |
(domain SpeedFn 1 LengthMeasure) | Merge.kif 6658-6658 | O argumento numero 1 de SpeedFn e' uma instancia de Medida de Comprimento |
(domain SpeedFn 2 TimeDuration) | Merge.kif 6659-6659 | O argumento numero 2 de SpeedFn e' uma instancia de Duracao Temporal |
(instance SpeedFn BinaryFunction) | Merge.kif 6657-6657 | SpeedFn e' uma instancia de Funcao Binaria |
(instance SpeedFn TotalValuedRelation) | Merge.kif 6656-6656 | SpeedFn e' uma instancia de Relacao Total |
(range SpeedFn FunctionQuantity) | Merge.kif 6660-6660 | O contra-dominio de SpeedFn e' uma instancia de Funcao de Quantidade |
(subrelation SpeedFn PerFn) | Merge.kif 6655-6655 | SpeedFn e' uma sub-relacao de PerFn |
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 54608-54608 | |
(termFormat ChineseLanguage SpeedFn "速率函数") | chinese_format.kif 660-660 | |
(termFormat ChineseTraditionalLanguage SpeedFn "速度") | domainEnglishFormat.kif 54607-54607 | |
(termFormat EnglishLanguage SpeedFn "speed") | domainEnglishFormat.kif 54606-54606 |
antecedent |
consequent |