topSpeed |
appearance as argument number 1 |
(documentation topSpeed EnglishLanguage "The maximum speed under normal conditions for a vehicle. For a RoadVehicle this would be on level ground, no headwind or tailwind, 70 degrees F, standard recommended fuel etc. For an Aircraft this would mean level flight out of ground effect. Because of the number of external factors on top speed, all that can be said formally is that higher speeds are unlikely.") | Transportation.kif 1712-1716 | |
(domain topSpeed 1 Vehicle) | Transportation.kif 1710-1710 | topSpeed の数値 1 引数は Vehicle の instance では %n |
(domain topSpeed 2 FunctionQuantity) | Transportation.kif 1711-1711 | topSpeed の数値 2 引数は 関数量 の instance では %n |
(instance topSpeed BinaryPredicate) | Transportation.kif 1709-1709 | topSpeed は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage topSpeed "%1 的 top speed 是 %2 ") | domainEnglishFormat.kif 4790-4790 | |
(format ChineseTraditionalLanguage topSpeed "%1 的 top speed 是 %2 ") | domainEnglishFormat.kif 4789-4789 | |
(format EnglishLanguage topSpeed "the top speed of %1 is %2") | domainEnglishFormat.kif 4788-4788 | |
(termFormat EnglishLanguage topSpeed "top speed") | domainEnglishFormat.kif 65958-65958 |
antecedent |
(=> (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 1718-1736 |
|