engineIdleSpeed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - engineIdleSpeed

engineIdleSpeed

appearance as argument number 1

(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 2544-2548
(domain engineIdleSpeed 1 InternalCombustionEngine)	Cars.kif 2541-2541	Die Zahl 1 Argument von engineIdleSpeed ist ein fall von InternalCombustionEngine %n{nicht}
(domain engineIdleSpeed 2 FunctionQuantity)	Cars.kif 2542-2542	Die Zahl 2 Argument von engineIdleSpeed ist ein fall von FunctionQuantity %n{nicht}
(instance engineIdleSpeed BinaryPredicate)	Cars.kif 2540-2540	engineIdleSpeed ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format EnglishLanguage engineIdleSpeed "the idle speed of %1 is %n %2")	Cars.kif 2543-2543
(termFormat EnglishLanguage engineIdleSpeed "engine idle speed")	domainEnglishFormat.kif 65824-65824

antecedent

(=> (and (engineIdleSpeed ?E (RotationFn (MeasureFn ?N1 MilesPerHour) ?M)) (instance ?A Automobile) (instance ?P GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (part ?C ?E) (holdsDuring (WhenFn ?P) (measure ?C (RotationFn (MeasureFn ?N2 MilesPerHour) ?M)))) (modalAttribute (greaterThan ?N2 ?N1) Likely))	Cars.kif 2568-2586	Wenn engineIdleSpeed InternalCombustionEngine and RotationFn RealNumber MilesPerHour(s) and TimeDuration und Object ist ein fall von Automobile %n{nicht} und Process ist ein fall von GasPedal %n{nicht} und Process ist ein fall von Pushing %n{nicht} und Process endet an Object %n{nicht} und InternalCombustionEngine ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von Crankshaft %n{nicht} und Object ist ein teil von InternalCombustionEngine %n{nicht} und das mass von Object ist RotationFn entity MilesPerHour(s) and TimeDuration %n{nicht} haelt waehrend die zeit des Bestehens von Process %n{nicht}, dann die Aussage entity ist groesserAls RealNumber %n{nicht} hat die modale Kraft von Likely
(=> (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 2550-2566	Wenn das mass von Object ist FunctionQuantity %n{nicht} haelt waehrend TimePosition %n{nicht} und engineIdleSpeed InternalCombustionEngine and FunctionQuantity und Object ist ein fall von Automobile %n{nicht} und InternalCombustionEngine ist ein teil von Object %n{nicht} und Object ist ein teil von InternalCombustionEngine %n{nicht}, dann die Aussage es gibt nicht entity und entity um entity geschieht waehrend TimePosition %n{nicht} und entity ist ein fall von Pushing %n{nicht} und entity endet an entity %n{nicht} und entity ist ein teil von Object %n{nicht} hat die modale Kraft von Likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners