Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| engineIdleSpeed |
| appearance as argument number 1 |
|
| (instance engineIdleSpeed BinaryPredicate) | Cars.kif 2391-2391 | engine idle speed is an instance of binary predicate |
| (domain engineIdleSpeed 1 InternalCombustionEngine) | Cars.kif 2392-2392 | The number 1 argument of engine idle speed is an instance of internal combustion engine |
| (domain engineIdleSpeed 2 FunctionQuantity) | Cars.kif 2393-2393 | The number 2 argument of engine idle speed is an instance of function quantity |
| (documentation engineIdleSpeed EnglishLanguage "The rotation rate of the Crankshaft that exists when the Engine is running but the GasPedal is not depressed. Note that under certain conditions of load on the engine and gear ratio, the same speed is possible even when the gas pedal is depressed.") | Cars.kif 2395-2399 | The number 2 argument of engine idle speed is an instance of function quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage engineIdleSpeed "the idle speed of %1 is %n %2") | Cars.kif 2394-2394 | |
| (termFormat EnglishLanguage engineIdleSpeed "engine idle speed") | domainEnglishFormat.kif 65833-65833 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T (measure ?C ?S)) (engineIdleSpeed ?E ?S) (instance ?A Automobile) (part ?E ?A) (part ?C ?E)) (modalAttribute (not (exists (?P ?GP) (and (during ?P ?T) (instance ?P Pushing) (destination ?P ?GP) (part ?GP ?A)))) Likely)) |
Cars.kif 2401-2417 | If the measure of X is Y holds during Z, the idle speed of W is Y, V is an instance of automobile, W is a part of V, and X is a part of W, then the statement there don't exist U, T such that U takes place during Z, U is an instance of pushing, U ends up at T, and T is a part of V has the modal force of likely |
| (=> (and (engineIdleSpeed ?E (MeasureFn ?RI RevolutionsPerMinute)) (instance ?A Automobile) (instance ?GP GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (instance ?R1 Rotating) (moves ?R1 ?C) (during (WhenFn ?R1) (WhenFn ?P)) (part ?C ?E) (equal (MeasureFn ?RA RevolutionsPerMinute) (RotationFn ?R1))) (modalAttribute (greaterThan ?RA ?RI) Likely)) |
Cars.kif 2419-2441 | If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely |
|