/* META

Meta information about ecological predicates
Alan Bundy, 7.9.83 */


define grazes(animal,vegetable).
%===============================

{types}.
	grazes(A,V) --> animal(A) & vegetable(V).


define respiration(lifeform, time, resp).
%===========================================

{meta_knowledge}.
	function(respiration(LF,M,BM),[LF,M]).

{types}.
	respiration(LF,M,BM) --> lifeform(LF) & moment(M) & biomass(BM).


define grazing(animal, vegetable, time, biomass).
%=================================================

{meta_knowledge}.
	function(grazing(A,V,M,BM),[A,V,M]).

{types}.
	grazing(A,V,M,BM) --> animal(A) & vegetable(V) 
				& moment(M) & biomass(BM).


define photosynthesis(vegetable, time, photo).
%===========================================

{meta_knowledge}.
	function(photosynthesis(V,M,BM),[V,M]).

{types}.
	photosynthesis(V,M,BM) --> vegetable(V) & moment(M) & biomass(BM).


define clocktime(time, clocktime).
%=================================

{meta_knowledge}.
	function(clocktime(Moment,T),Moment).

{types}.
	clocktime(Moment,T) -->  moment(Moment) & clocktime(T).



define rate_of_photosynthesis(vegetable, dimensionless).
%=======================================================

{meta_knowledge}.
	function(rate_of_photosynthesis(Vegetable,Rate),Vegetable).

{types}.
	rate_of_photosynthesis(Vegetable,Rate) --> 
				vegetable(Vegetable) & dimensionless(Rate).



define rate_of_grazing(animal, dimensionless).
%=======================================================

{meta_knowledge}.
	function(rate_of_grazing(Animal,Rate),Animal).

{types}.
	rate_of_grazing(Animal,Rate) --> 
				animal(Animal) & dimensionless(Rate).



define temperature(time, temperature).
%===========================================

{meta_knowledge}.
	function(temperature(M,Temp),M).

{types}.
	temperature(M,Temp) -->  moment(M) & temperature(Temp).



define biomass(lifeform, time, biomass).
%===========================================

{meta_knowledge}.
	function(biomass(LF,M,BM),[LF,M]).

{types}.
	biomass(LF,M,BM) --> lifeform(LF) & moment(M) & biomass(BM).


