Context                Previous, Next                Top


15_a_lob_j01
Values of this function between 400 <deg> and 800 <deg> C at 100 <deg> intervals and for oxygen concentrations between 0.1 and 100 p.p.m are presented in fig 1.

%3 r_0015_0001__Values Values r_0015_0003__this_r_0015_0004__function this function r_0015_0001__Values->r_0015_0003__this_r_0015_0004__function of r_0015_0008__and and r_0015_0003__this_r_0015_0004__function->r_0015_0008__and between r_0015_0006__400_r_0015_0007___deg_ 400  deg r_0015_0008__and->r_0015_0006__400_r_0015_0007___deg_ [conj1] r_0015_0009__800_r_0015_0010___deg__r_0015_0011__C 800  deg  C r_0015_0008__and->r_0015_0009__800_r_0015_0010___deg__r_0015_0011__C [conj2] r_0015_0025__are are r_0015_0026__presented presented r_0015_0025__are->r_0015_0026__presented [scope] r_0015_0026__presented->r_0015_0001__Values [arg1] r_0015_0028__fig_r_0015_0029__1 fig 1 r_0015_0026__presented->r_0015_0028__fig_r_0015_0029__1 in [nim] z_000_15_a_lob_j01_74 r_0015_0026__presented->z_000_15_a_lob_j01_74 [arg0] 
arc(r_0015_0001__Values, r_0015_0003__this_r_0015_0004__function, r_0015_0002__of).
arc(r_0015_0003__this_r_0015_0004__function, r_0015_0008__and, r_0015_0005__between).
arc(r_0015_0008__and, r_0015_0006__400_r_0015_0007___deg_, conj1).
arc(r_0015_0008__and, r_0015_0009__800_r_0015_0010___deg__r_0015_0011__C, conj2).
arc(r_0015_0025__are, r_0015_0026__presented, scope).
arc(r_0015_0026__presented, r_0015_0001__Values, arg1).
arc(r_0015_0026__presented, r_0015_0028__fig_r_0015_0029__1, r_0015_0027__in_nim81).
arc(r_0015_0026__presented, z_000_15_a_lob_j01_74, arg0).


%3 r_0015_0025__are_r_0015_0026__presented are presented z_000_15_a_lob_j01_74 r_0015_0025__are_r_0015_0026__presented->z_000_15_a_lob_j01_74 [arg0] r_0015_0028__fig_r_0015_0029__1 fig 1 r_0015_0025__are_r_0015_0026__presented->r_0015_0028__fig_r_0015_0029__1 in [nim] r_0015_0001__Values Values r_0015_0025__are_r_0015_0026__presented->r_0015_0001__Values [arg1] r_0015_0003__this_r_0015_0004__function this function r_0015_0001__Values->r_0015_0003__this_r_0015_0004__function of r_0015_0008__and and r_0015_0009__800_r_0015_0010___deg__r_0015_0011__C 800  deg  C r_0015_0008__and->r_0015_0009__800_r_0015_0010___deg__r_0015_0011__C [conj2] r_0015_0006__400_r_0015_0007___deg_ 400  deg r_0015_0008__and->r_0015_0006__400_r_0015_0007___deg_ [conj1] r_0015_0003__this_r_0015_0004__function->r_0015_0008__and between 
fof(formula,axiom,
    ? [R_0015_0006__400_R_0015_0007___DEG_,R_0015_0009__800_R_0015_0010___DEG__R_0015_0011__C,R_0015_0008__AND,R_0015_0003__THIS_R_0015_0004__FUNCTION,R_0015_0001__VALUES,R_0015_0028__FIG_R_0015_0029__1,Z_000_15_A_LOB_J01_74,R_0015_0025__ARE_R_0015_0026__PRESENTED] :
      ( r_0015_0006__400_r_0015_0007___deg_(R_0015_0006__400_R_0015_0007___DEG_)
      & r_0015_0009__800_r_0015_0010___deg__r_0015_0011__C(R_0015_0009__800_R_0015_0010___DEG__R_0015_0011__C)
      & r_0015_0028__fig_r_0015_0029__1(R_0015_0028__FIG_R_0015_0029__1)
      & z_000_15_a_lob_j01_74(Z_000_15_A_LOB_J01_74)
      & r_0015_0025__are_r_0015_0026__presented(R_0015_0025__ARE_R_0015_0026__PRESENTED)
      & has_arg0(R_0015_0025__ARE_R_0015_0026__PRESENTED,Z_000_15_A_LOB_J01_74)
      & has_r_0015_0027__in_nim81(R_0015_0025__ARE_R_0015_0026__PRESENTED,R_0015_0028__FIG_R_0015_0029__1)
      & has_arg1(R_0015_0025__ARE_R_0015_0026__PRESENTED,R_0015_0001__VALUES)
      & r_0015_0001__Values(R_0015_0001__VALUES)
      & has_r_0015_0002__of(R_0015_0001__VALUES,R_0015_0003__THIS_R_0015_0004__FUNCTION)
      & r_0015_0003__this_r_0015_0004__function(R_0015_0003__THIS_R_0015_0004__FUNCTION)
      & has_r_0015_0005__between(R_0015_0003__THIS_R_0015_0004__FUNCTION,R_0015_0008__AND)
      & r_0015_0008__and(R_0015_0008__AND)
      & has_conj2(R_0015_0008__AND,R_0015_0009__800_R_0015_0010___DEG__R_0015_0011__C)
      & has_conj1(R_0015_0008__AND,R_0015_0006__400_R_0015_0007___DEG_) ) ).


n15_a_lob_j01 n15_a_lob_j01__1_1_1_1 Values n15_a_lob_j01__1_1_2_1_1 of n15_a_lob_j01__1_1_2_2_1_1 this n15_a_lob_j01__1_1_2_2_2_1 function n15_a_lob_j01__1_1_2_2_3_1_1 between n15_a_lob_j01__1_1_2_2_3_2_1_1_1_1 400 n15_a_lob_j01__1_1_2_2_3_2_1_1_2_1 <deg> n15_a_lob_j01__1_1_2_2_3_2_1_2_1_1 and n15_a_lob_j01__1_1_2_2_3_2_1_2_2_1_1 800 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_2_1 <deg> n15_a_lob_j01__1_1_2_2_3_2_1_2_2_3_1 C n15_a_lob_j01__1_1_2_2_4_1_1_1 at n15_a_lob_j01__1_1_2_2_4_1_2_1_1 100 n15_a_lob_j01__1_1_2_2_4_1_2_2_1 <deg> n15_a_lob_j01__1_1_2_2_4_1_2_3_1 intervals n15_a_lob_j01__1_1_2_2_4_2_1_1 and n15_a_lob_j01__1_1_2_2_4_2_2_1_1 for n15_a_lob_j01__1_1_2_2_4_2_2_2_1_1 oxygen n15_a_lob_j01__1_1_2_2_4_2_2_2_2_1 concentrations n15_a_lob_j01__1_1_2_2_4_2_2_2_3_1_1 between n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1_1_1 0.1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_1_1 and n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_1_1 100 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_2_1 p.p.m n15_a_lob_j01__1_2_1 are n15_a_lob_j01__1_3_1_1 * n15_a_lob_j01__1_3_2_1 presented n15_a_lob_j01__1_3_3_1_1 in n15_a_lob_j01__1_3_3_2_1_1 fig n15_a_lob_j01__1_3_3_2_2_1 1 n15_a_lob_j01__1_4_1 . n15_a_lob_j01__1 IP-MAT n15_a_lob_j01__1_1 NP-SBJ n15_a_lob_j01__1->n15_a_lob_j01__1_1 n15_a_lob_j01__1_2 BEP;_cat_VePASS_ n15_a_lob_j01__1->n15_a_lob_j01__1_2 n15_a_lob_j01__1_3 IP-PPL-CAT n15_a_lob_j01__1->n15_a_lob_j01__1_3 n15_a_lob_j01__1_4 PUNC n15_a_lob_j01__1->n15_a_lob_j01__1_4 n15_a_lob_j01__1_1_1 NS n15_a_lob_j01__1_1->n15_a_lob_j01__1_1_1 n15_a_lob_j01__1_1_2 PP n15_a_lob_j01__1_1->n15_a_lob_j01__1_1_2 n15_a_lob_j01__1_1_1->n15_a_lob_j01__1_1_1_1 n15_a_lob_j01__1_1_2_1 P-ROLE n15_a_lob_j01__1_1_2->n15_a_lob_j01__1_1_2_1 n15_a_lob_j01__1_1_2_2 NP n15_a_lob_j01__1_1_2->n15_a_lob_j01__1_1_2_2 n15_a_lob_j01__1_1_2_1->n15_a_lob_j01__1_1_2_1_1 n15_a_lob_j01__1_1_2_2_1 D n15_a_lob_j01__1_1_2_2->n15_a_lob_j01__1_1_2_2_1 n15_a_lob_j01__1_1_2_2_2 N n15_a_lob_j01__1_1_2_2->n15_a_lob_j01__1_1_2_2_2 n15_a_lob_j01__1_1_2_2_3 PP n15_a_lob_j01__1_1_2_2->n15_a_lob_j01__1_1_2_2_3 n15_a_lob_j01__1_1_2_2_4 PP n15_a_lob_j01__1_1_2_2->n15_a_lob_j01__1_1_2_2_4 n15_a_lob_j01__1_1_2_2_1->n15_a_lob_j01__1_1_2_2_1_1 n15_a_lob_j01__1_1_2_2_2->n15_a_lob_j01__1_1_2_2_2_1 n15_a_lob_j01__1_1_2_2_3_1 P-ROLE n15_a_lob_j01__1_1_2_2_3->n15_a_lob_j01__1_1_2_2_3_1 n15_a_lob_j01__1_1_2_2_3_2 NP n15_a_lob_j01__1_1_2_2_3->n15_a_lob_j01__1_1_2_2_3_2 n15_a_lob_j01__1_1_2_2_3_1->n15_a_lob_j01__1_1_2_2_3_1_1 n15_a_lob_j01__1_1_2_2_3_2_1 NLYR n15_a_lob_j01__1_1_2_2_3_2->n15_a_lob_j01__1_1_2_2_3_2_1 n15_a_lob_j01__1_1_2_2_3_2_1_1 NLYR n15_a_lob_j01__1_1_2_2_3_2_1->n15_a_lob_j01__1_1_2_2_3_2_1_1 n15_a_lob_j01__1_1_2_2_3_2_1_2 CONJP n15_a_lob_j01__1_1_2_2_3_2_1->n15_a_lob_j01__1_1_2_2_3_2_1_2 n15_a_lob_j01__1_1_2_2_3_2_1_1_1 NUM n15_a_lob_j01__1_1_2_2_3_2_1_1->n15_a_lob_j01__1_1_2_2_3_2_1_1_1 n15_a_lob_j01__1_1_2_2_3_2_1_1_2 N n15_a_lob_j01__1_1_2_2_3_2_1_1->n15_a_lob_j01__1_1_2_2_3_2_1_1_2 n15_a_lob_j01__1_1_2_2_3_2_1_1_1->n15_a_lob_j01__1_1_2_2_3_2_1_1_1_1 n15_a_lob_j01__1_1_2_2_3_2_1_1_2->n15_a_lob_j01__1_1_2_2_3_2_1_1_2_1 n15_a_lob_j01__1_1_2_2_3_2_1_2_1 CONJ n15_a_lob_j01__1_1_2_2_3_2_1_2->n15_a_lob_j01__1_1_2_2_3_2_1_2_1 n15_a_lob_j01__1_1_2_2_3_2_1_2_2 NLYR n15_a_lob_j01__1_1_2_2_3_2_1_2->n15_a_lob_j01__1_1_2_2_3_2_1_2_2 n15_a_lob_j01__1_1_2_2_3_2_1_2_1->n15_a_lob_j01__1_1_2_2_3_2_1_2_1_1 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_1 NUM n15_a_lob_j01__1_1_2_2_3_2_1_2_2->n15_a_lob_j01__1_1_2_2_3_2_1_2_2_1 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_2 N n15_a_lob_j01__1_1_2_2_3_2_1_2_2->n15_a_lob_j01__1_1_2_2_3_2_1_2_2_2 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_3 N n15_a_lob_j01__1_1_2_2_3_2_1_2_2->n15_a_lob_j01__1_1_2_2_3_2_1_2_2_3 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_1->n15_a_lob_j01__1_1_2_2_3_2_1_2_2_1_1 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_2->n15_a_lob_j01__1_1_2_2_3_2_1_2_2_2_1 n15_a_lob_j01__1_1_2_2_3_2_1_2_2_3->n15_a_lob_j01__1_1_2_2_3_2_1_2_2_3_1 n15_a_lob_j01__1_1_2_2_4_1 PP n15_a_lob_j01__1_1_2_2_4->n15_a_lob_j01__1_1_2_2_4_1 n15_a_lob_j01__1_1_2_2_4_2 CONJP n15_a_lob_j01__1_1_2_2_4->n15_a_lob_j01__1_1_2_2_4_2 n15_a_lob_j01__1_1_2_2_4_1_1 P-ROLE n15_a_lob_j01__1_1_2_2_4_1->n15_a_lob_j01__1_1_2_2_4_1_1 n15_a_lob_j01__1_1_2_2_4_1_2 NP n15_a_lob_j01__1_1_2_2_4_1->n15_a_lob_j01__1_1_2_2_4_1_2 n15_a_lob_j01__1_1_2_2_4_1_1->n15_a_lob_j01__1_1_2_2_4_1_1_1 n15_a_lob_j01__1_1_2_2_4_1_2_1 NUM n15_a_lob_j01__1_1_2_2_4_1_2->n15_a_lob_j01__1_1_2_2_4_1_2_1 n15_a_lob_j01__1_1_2_2_4_1_2_2 N n15_a_lob_j01__1_1_2_2_4_1_2->n15_a_lob_j01__1_1_2_2_4_1_2_2 n15_a_lob_j01__1_1_2_2_4_1_2_3 NS n15_a_lob_j01__1_1_2_2_4_1_2->n15_a_lob_j01__1_1_2_2_4_1_2_3 n15_a_lob_j01__1_1_2_2_4_1_2_1->n15_a_lob_j01__1_1_2_2_4_1_2_1_1 n15_a_lob_j01__1_1_2_2_4_1_2_2->n15_a_lob_j01__1_1_2_2_4_1_2_2_1 n15_a_lob_j01__1_1_2_2_4_1_2_3->n15_a_lob_j01__1_1_2_2_4_1_2_3_1 n15_a_lob_j01__1_1_2_2_4_2_1 CONJ n15_a_lob_j01__1_1_2_2_4_2->n15_a_lob_j01__1_1_2_2_4_2_1 n15_a_lob_j01__1_1_2_2_4_2_2 PP n15_a_lob_j01__1_1_2_2_4_2->n15_a_lob_j01__1_1_2_2_4_2_2 n15_a_lob_j01__1_1_2_2_4_2_1->n15_a_lob_j01__1_1_2_2_4_2_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_1 P-ROLE n15_a_lob_j01__1_1_2_2_4_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_1 n15_a_lob_j01__1_1_2_2_4_2_2_2 NP n15_a_lob_j01__1_1_2_2_4_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2 n15_a_lob_j01__1_1_2_2_4_2_2_1->n15_a_lob_j01__1_1_2_2_4_2_2_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_1 N n15_a_lob_j01__1_1_2_2_4_2_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_2 NS n15_a_lob_j01__1_1_2_2_4_2_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_2 n15_a_lob_j01__1_1_2_2_4_2_2_2_3 PP n15_a_lob_j01__1_1_2_2_4_2_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3 n15_a_lob_j01__1_1_2_2_4_2_2_2_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_2_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_1 P-ROLE n15_a_lob_j01__1_1_2_2_4_2_2_2_3->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2 NP n15_a_lob_j01__1_1_2_2_4_2_2_2_3->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1 NLYR n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1 NLYR n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2 CONJP n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1_1 NUM n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_1_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_1 CONJ n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2 NLYR n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_1 NUM n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_2 N n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_2 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_1->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_1_1 n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_2->n15_a_lob_j01__1_1_2_2_4_2_2_2_3_2_1_2_2_2_1 n15_a_lob_j01__1_2->n15_a_lob_j01__1_2_1 n15_a_lob_j01__1_3_1 NP-LGS n15_a_lob_j01__1_3->n15_a_lob_j01__1_3_1 n15_a_lob_j01__1_3_2 VVN;_Tn_ n15_a_lob_j01__1_3->n15_a_lob_j01__1_3_2 n15_a_lob_j01__1_3_3 PP-NIM n15_a_lob_j01__1_3->n15_a_lob_j01__1_3_3 n15_a_lob_j01__1_3_1->n15_a_lob_j01__1_3_1_1 n15_a_lob_j01__1_3_2->n15_a_lob_j01__1_3_2_1 n15_a_lob_j01__1_3_3_1 P-ROLE n15_a_lob_j01__1_3_3->n15_a_lob_j01__1_3_3_1 n15_a_lob_j01__1_3_3_2 NP n15_a_lob_j01__1_3_3->n15_a_lob_j01__1_3_3_2 n15_a_lob_j01__1_3_3_1->n15_a_lob_j01__1_3_3_1_1 n15_a_lob_j01__1_3_3_2_1 N n15_a_lob_j01__1_3_3_2->n15_a_lob_j01__1_3_3_2_1 n15_a_lob_j01__1_3_3_2_2 NUM n15_a_lob_j01__1_3_3_2->n15_a_lob_j01__1_3_3_2_2 n15_a_lob_j01__1_3_3_2_1->n15_a_lob_j01__1_3_3_2_1_1 n15_a_lob_j01__1_3_3_2_2->n15_a_lob_j01__1_3_3_2_2_1 n15_a_lob_j01__1_4->n15_a_lob_j01__1_4_1 
( (IP-MAT (NP-SBJ (NS Values;{value})
                  (PP (P-ROLE of;{of})
                      (NP (D this;{this})
                          (N function;{function})
                          (PP (P-ROLE between;{between})
                              (NP (NLYR (NLYR (NUM 400)
                                              (N <deg>))
                                        (CONJP (CONJ and;{and})
                                               (NLYR (NUM 800)
                                                     (N <deg>)
                                                     (N C))))))
                          (PP (PP (P-ROLE at;{at})
                                  (NP (NUM 100)
                                      (N <deg>)
                                      (NS intervals;{interval})))
                              (CONJP (CONJ and;{and})
                                     (PP (P-ROLE for;{for})
                                         (NP (N oxygen;{oxygen})
                                             (NS concentrations;{concentration})
                                             (PP (P-ROLE between;{between})
                                                 (NP (NLYR (NLYR (NUM 0<dot>1))
                                                           (CONJP (CONJ and;{and})
                                                                  (NLYR (NUM 100)
                                                                        (N p<dot>p<dot>m;{p<dot>p<dot>m})))))))))))))
          (BEP;_cat_VePASS_ are;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ presented;{present})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (N fig;{fig})
                                  (NUM 1))))
          (PUNC .))
  (ID 15_a_lob_j01))