maxCylinderVolume |
appearance as argument number 1 |
(documentation maxCylinderVolume EnglishLanguage "The volume of the CombustionChamber of the EngineCylinder at the maximum point of extension of the piston.") | Cars.kif 1894-1896 | |
(domain maxCylinderVolume 1 Engine) | Cars.kif 1890-1890 | Die Zahl 1 Argument von maxCylinderVolume ist ein fall von Engine %n{nicht} |
(domain maxCylinderVolume 2 VolumeMeasure) | Cars.kif 1891-1891 | Die Zahl 2 Argument von maxCylinderVolume ist ein fall von VolumeMeasure %n{nicht} |
(instance maxCylinderVolume BinaryPredicate) | Cars.kif 1889-1889 | maxCylinderVolume ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage maxCylinderVolume "the maximum volume of the cylinders in the engine %1 is %n %2") | Cars.kif 1892-1893 | |
(termFormat EnglishLanguage maxCylinderVolume "max cylinder volume") | domainEnglishFormat.kif 65871-65871 |
antecedent |
consequent |
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX)))) |
Cars.kif 1928-1933 | 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} |