Dietary intervention to reduce methane emissions from lactating dairy cattle is both environmentally and nutritionally desirable due to the importance of methane as a causative agent in global warming and as a significant loss of feed energy. Reliable prediction systems for methane production over a range of dietary inputs could be used to develop novel dietary regimes for the limitation of feed energy loss to methane. This investigation builds on previous attempts at modeling methanogenesis and involves the development of a dynamic mechanistic model of wholerumen function. The model incorporates modifications to certain ruminal fermentation parameters and the addition of a postruminal digestive element. Regression analysis showed good agreement between observed and predicted results for experimental data taken from the literature (r2 = 0.76, root mean square prediction error = 15.4%). Evaluation of model predictions for experimental observations from five calorimetry studies (67 observations) with lactating dairy cows at the Centre for Dairy Research, in Reading, U.K., shows an underprediction (2.1 MJ/d) of methane production (r2 = 0.46, root mean square prediction error = 12.4%). Application of the model to develop diets for minimizing methanogenesis indicated a need to limit the ratio of lipogenic to glucogenic VFA in the rumen and hindgut. This may be achieved by replacing soluble sugars in the concentrate with starch or substituting corn silage for grass silage. On a herd basis, the model predicted that increasing dietary energy intake per cow can minimize the annual loss of feed energy through methane production. The mechanistic model is a valuable tool for predicting methane emissions from dairy cows.