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 1864-1866 | |
(domain minCylinderVolume 1 Engine) | Cars.kif 1859-1859 | Die Zahl 1 Argument von minCylinderVolume ist ein fall von Engine %n{nicht} |
(domain minCylinderVolume 2 VolumeMeasure) | Cars.kif 1860-1860 | Die Zahl 2 Argument von minCylinderVolume ist ein fall von VolumeMeasure %n{nicht} |
(instance minCylinderVolume BinaryPredicate) | Cars.kif 1858-1858 | 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 1861-1862 | |
(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 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} |