Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| topSpeed |
| appearance as argument number 1 |
|
| (instance topSpeed BinaryPredicate) | Transportation.kif 1864-1864 | top speed is an instance of binary predicate |
| (domain topSpeed 1 Vehicle) | Transportation.kif 1865-1865 | The number 1 argument of top speed is an instance of vehicle |
| (domain topSpeed 2 FunctionQuantity) | Transportation.kif 1866-1866 | The number 2 argument of top speed is an instance of function quantity |
| (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 1867-1871 | The number 2 argument of top speed is an instance of function quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage topSpeed "the top speed of %1 is %2") | domainEnglishFormat.kif 4792-4792 | |
| (format ChineseTraditionalLanguage topSpeed "%1 的 top speed 是 %2 ") | domainEnglishFormat.kif 4793-4793 | |
| (format ChineseLanguage topSpeed "%1 的 top speed 是 %2 ") | domainEnglishFormat.kif 4794-4794 | |
| (termFormat EnglishLanguage topSpeed "top speed") | domainEnglishFormat.kif 65996-65996 |
| 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 1873-1891 | If All of the following hold: (1) the top speed of X is Y Z(s) (2) Z is an instance of composite unit of measure (3) W is an instance of unit of length (4) V is an instance of unit of duration (5) equal U and the probability of the measure of X is T W(s) per S V(s) (6) equal R and the probability of the measure of X is Q W(s) per P V(s) (7) T per S is greater than Y (8) Y is greater than Q per P, then R is greater than U |
|