compressionRatio |
appearance as argument number 1 |
(documentation compressionRatio EnglishLanguage "The ratio of the volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder, to the volume of the chamber with the piston fully retracted.") | Cars.kif 1906-1909 | |
(domain compressionRatio 1 Engine) | Cars.kif 1903-1903 | Die Zahl 1 Argument von compressionRatio ist ein fall von Engine %n{nicht} |
(domain compressionRatio 2 RealNumber) | Cars.kif 1904-1904 | Die Zahl 2 Argument von compressionRatio ist ein fall von RealNumber %n{nicht} |
(instance compressionRatio BinaryPredicate) | Cars.kif 1902-1902 | compressionRatio ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage compressionRatio "the compression ratio of %1 is %n %2") | Cars.kif 1905-1905 | |
(termFormat EnglishLanguage compressionRatio "compression ratio") | domainEnglishFormat.kif 65798-65798 |
antecedent |
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX)))) |
Cars.kif 1911-1916 | compressionRatio Engine and RealNumber genau dann wenn minCylinderVolume ** Engine and ** RealNumber UnitOfMeasure(s) und maxCylinderVolume ** Engine and ** UnitOfMeasureAX ** UnitOfMeasure(s) und ** RealNumber ist gleich ** ** RealNumber und ** UnitOfMeasureAX %n{nicht} |