minCylinderVolume |
appearance as argument number 1 |
(documentation minCylinderVolume EnglishLanguage "The volume of the CombustionChamber of the EngineCylinder at the maximum point of compression of the cylinder.") | Cars.kif 1870-1872 | |
(domain minCylinderVolume 1 Engine) | Cars.kif 1865-1865 | Die Zahl 1 Argument von minCylinderVolume ist ein fall von Engine %n{nicht} |
(domain minCylinderVolume 2 VolumeMeasure) | Cars.kif 1866-1866 | Die Zahl 2 Argument von minCylinderVolume ist ein fall von VolumeMeasure %n{nicht} |
(instance minCylinderVolume BinaryPredicate) | Cars.kif 1864-1864 | minCylinderVolume ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage minCylinderVolume "the minimum volume of the cylinders in the engine %1 is %n %2") | Cars.kif 1867-1868 | |
(termFormat EnglishLanguage minCylinderVolume "min cylinder volume") | domainEnglishFormat.kif 65876-65876 |
antecedent |
consequent |
(<=> (compressionRatio ?E ?R) (and (minCylinderVolume ?E (MeasureFn ?MIN ?M)) (maxCylinderVolume ?E (MeasureFn ?MAX ?M)) (equal ?R (DivisionFn ?MIN ?MAX)))) |
Cars.kif 1934-1939 | 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} |