governorSpeed |
appearance as argument number 1 |
(documentation governorSpeed EnglishLanguage "The maximum speed under normal conditions that a governor will allow a moving part or vehicle to attain before killing power. Note that a vehicle could still conceivably exceed governed speed while coasting down a hill, after the governor has activated.") | Cars.kif 2874-2877 | |
(domain governorSpeed 1 SpeedGovernor) | Cars.kif 2880-2880 | Die Zahl 1 Argument von governorSpeed ist ein fall von SpeedGovernor %n{nicht} |
(domain governorSpeed 2 FunctionQuantity) | Cars.kif 2881-2881 | Die Zahl 2 Argument von governorSpeed ist ein fall von FunctionQuantity %n{nicht} |
(instance governorSpeed BinaryPredicate) | Cars.kif 2882-2882 | governorSpeed ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage governorSpeed "the maximum speed allowed by %1 is %n %2") | Cars.kif 2878-2878 | |
(termFormat EnglishLanguage governorSpeed "governor speed") | domainEnglishFormat.kif 65837-65837 |
antecedent |