VelocityFn |
appearance as argument number 1 |
(documentation VelocityFn ChineseLanguage "这个函数指出一个物体的速度,也就是说速率和速率的方向。 例如: (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North)表示从一个预定的坐标 ?REFERENCE 以每小时55英里的速度向北移动。") | chinese_format.kif 2486-2489 | |
(documentation VelocityFn EnglishLanguage "Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) ?REFERENCE North) denotes the velocity of 55 miles per hour North of the given reference point ?REFERENCE.") | Merge.kif 6675-6678 | |
(documentation VelocityFn JapaneseLanguage "オブジェクトの速度、つまり速度と速度の方向を指定す る。 例:(VelocityFn (MeasureFn 55 Mile)(MeasureFn 2 HourDuration) ?REFERENCE North) は、所定の基準点 ?REFERENCEの北で時速55マイルの速度を示す。") | japanese_format.kif 1181-1183 | |
(domain VelocityFn 1 LengthMeasure) | Merge.kif 6669-6669 | The number 1 argument of velocity is an instance of length measure |
(domain VelocityFn 2 TimeDuration) | Merge.kif 6670-6670 | The number 2 argument of velocity is an instance of time duration |
(domain VelocityFn 3 Region) | Merge.kif 6671-6671 | The number 3 argument of velocity is an instance of region |
(domain VelocityFn 4 DirectionalAttribute) | Merge.kif 6672-6672 | The number 4 argument of velocity is an instance of directional attribute |
(instance VelocityFn QuaternaryFunction) | Merge.kif 6667-6667 | Velocity is an instance of quaternary function |
(instance VelocityFn TotalValuedRelation) | Merge.kif 6668-6668 | Velocity is an instance of total valued relation |
(range VelocityFn FunctionQuantity) | Merge.kif 6673-6673 | The range of velocity is an instance of function quantity |
appearance as argument number 2 |
(format ChineseLanguage VelocityFn "%1 除以 %2 在 %3 处往 %4 方向") | chinese_format.kif 661-661 | |
(format EnglishLanguage VelocityFn "%1 per %2 in %3 in the direction %4") | english_format.kif 664-664 | |
(format FrenchLanguage VelocityFn "%1 par %2 en %3 dans la direction %4") | french_format.kif 397-397 | |
(format ItalianLanguage VelocityFn "%1 per %2 in %3 in direzione %4") | relations-it.txt 310-310 | |
(format JapaneseLanguage VelocityFn "方向 %4 の %3 分の %2 per 1") | japanese_format.kif 2127-2127 | |
(format PortugueseLanguage VelocityFn "%1 por %2 %3 na direcao %4") | portuguese_format.kif 349-349 | |
(format de VelocityFn "%1 pro &2 in %3 in der Richtung %4") | relations-de.txt 864-864 | |
(format hi VelocityFn "%4 kii dishaa men %3 men %1 prati %2") | relations-hindi.txt 345-345 | |
(format ro VelocityFn "%1 per%t{pe} %2 în %3 în direcþia %4") | relations-ro.kif 419-419 | |
(format sv VelocityFn "%1 per %2 i %3 i riktning %4") | relations-sv.txt 440-440 | |
(format tg VelocityFn "%1 bawa't %2 ng %3 sa ang banda %4") | relations-tg.txt 502-502 | |
(termFormat ChineseLanguage VelocityFn "速度") | domainEnglishFormat.kif 61456-61456 | |
(termFormat ChineseLanguage VelocityFn "速度函数") | chinese_format.kif 662-662 | |
(termFormat ChineseTraditionalLanguage VelocityFn "速度") | domainEnglishFormat.kif 61455-61455 | |
(termFormat EnglishLanguage VelocityFn "velocity") | domainEnglishFormat.kif 61454-61454 |
antecedent |
consequent |