pistonStroke |
appearance as argument number 1 |
(documentation pistonStroke EnglishLanguage "The maximum distance that a piston travels during normal operation of the Engine.") | Cars.kif 1946-1947 | |
(domain pistonStroke 1 Engine) | Cars.kif 1942-1942 | The number 1 argument of piston stroke is an instance of engine |
(domain pistonStroke 2 LengthMeasure) | Cars.kif 1943-1943 | The number 2 argument of piston stroke is an instance of length measure |
(instance pistonStroke BinaryPredicate) | Cars.kif 1941-1941 | piston stroke is an instance of binary predicate |
appearance as argument number 2 |
(format EnglishLanguage pistonStroke "the maximum distance that the pistons of engine %1 travel is %n %2") | Cars.kif 1944-1945 | |
(termFormat EnglishLanguage pistonStroke "piston stroke") | domainEnglishFormat.kif 65900-65900 |
antecedent |