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_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_r_0015_0026__presented are presented r_0015_0025__are_r_0015_0026__presented->r_0015_0001__Values [arg1] 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] z_000_15_a_lob_j01_74 r_0015_0025__are_r_0015_0026__presented->z_000_15_a_lob_j01_74 [arg0] 
fof(formula,axiom,
    ? [R_15_25_ARE_PRESENTED,Z_15_A_LOB_J01_74,R_15_1_VALUES,R_15_3_THIS_FUNCTION,R_15_8_AND,R_15_6_400_DEG_,R_15_9_800_DEG_C,R_15_28_FIG_1] :
      ( 400_deg_(R_15_6_400_DEG_)
      & 800_deg_C(R_15_9_800_DEG_C)
      & fig_1(R_15_28_FIG_1)
      & are_presented(R_15_25_ARE_PRESENTED,Z_15_A_LOB_J01_74,R_15_1_VALUES)
      & values(R_15_1_VALUES)
      & of(R_15_1_VALUES,R_15_3_THIS_FUNCTION)
      & this_function(R_15_3_THIS_FUNCTION)
      & between(R_15_3_THIS_FUNCTION,R_15_8_AND)
      & and(R_15_8_AND)
      & conj1(R_15_8_AND,R_15_6_400_DEG_)
      & conj2(R_15_8_AND,R_15_9_800_DEG_C)
      & in_nim81(R_15_25_ARE_PRESENTED,R_15_28_FIG_1) ) ).


n15_a_lob_j01 n15_a_lob_j01_4 Values n15_a_lob_j01_7 of n15_a_lob_j01_10 this n15_a_lob_j01_12 function n15_a_lob_j01_15 between n15_a_lob_j01_20 400 n15_a_lob_j01_22 <deg> n15_a_lob_j01_25 and n15_a_lob_j01_28 800 n15_a_lob_j01_30 <deg> n15_a_lob_j01_32 C n15_a_lob_j01_36 at n15_a_lob_j01_39 100 n15_a_lob_j01_41 <deg> n15_a_lob_j01_43 intervals n15_a_lob_j01_46 and n15_a_lob_j01_49 for n15_a_lob_j01_52 oxygen n15_a_lob_j01_54 concentrations n15_a_lob_j01_57 between n15_a_lob_j01_62 0.1 n15_a_lob_j01_65 and n15_a_lob_j01_68 100 n15_a_lob_j01_70 p.p.m n15_a_lob_j01_72 are n15_a_lob_j01_75 * n15_a_lob_j01_77 presented n15_a_lob_j01_80 in n15_a_lob_j01_83 fig n15_a_lob_j01_85 1 n15_a_lob_j01_87 . n15_a_lob_j01_1 IP-MAT n15_a_lob_j01_2 NP-SBJ n15_a_lob_j01_1->n15_a_lob_j01_2 n15_a_lob_j01_71 BEP;_cat_VePASS_ n15_a_lob_j01_1->n15_a_lob_j01_71 n15_a_lob_j01_73 IP-PPL-CAT n15_a_lob_j01_1->n15_a_lob_j01_73 n15_a_lob_j01_86 PUNC n15_a_lob_j01_1->n15_a_lob_j01_86 n15_a_lob_j01_3 NS n15_a_lob_j01_2->n15_a_lob_j01_3 n15_a_lob_j01_5 PP n15_a_lob_j01_2->n15_a_lob_j01_5 n15_a_lob_j01_3->n15_a_lob_j01_4 n15_a_lob_j01_6 P-ROLE n15_a_lob_j01_5->n15_a_lob_j01_6 n15_a_lob_j01_8 NP n15_a_lob_j01_5->n15_a_lob_j01_8 n15_a_lob_j01_6->n15_a_lob_j01_7 n15_a_lob_j01_9 D n15_a_lob_j01_8->n15_a_lob_j01_9 n15_a_lob_j01_11 N n15_a_lob_j01_8->n15_a_lob_j01_11 n15_a_lob_j01_13 PP n15_a_lob_j01_8->n15_a_lob_j01_13 n15_a_lob_j01_33 PP n15_a_lob_j01_8->n15_a_lob_j01_33 n15_a_lob_j01_9->n15_a_lob_j01_10 n15_a_lob_j01_11->n15_a_lob_j01_12 n15_a_lob_j01_14 P-ROLE n15_a_lob_j01_13->n15_a_lob_j01_14 n15_a_lob_j01_16 NP n15_a_lob_j01_13->n15_a_lob_j01_16 n15_a_lob_j01_14->n15_a_lob_j01_15 n15_a_lob_j01_17 NLYR n15_a_lob_j01_16->n15_a_lob_j01_17 n15_a_lob_j01_18 NLYR n15_a_lob_j01_17->n15_a_lob_j01_18 n15_a_lob_j01_23 CONJP n15_a_lob_j01_17->n15_a_lob_j01_23 n15_a_lob_j01_19 NUM n15_a_lob_j01_18->n15_a_lob_j01_19 n15_a_lob_j01_21 N n15_a_lob_j01_18->n15_a_lob_j01_21 n15_a_lob_j01_19->n15_a_lob_j01_20 n15_a_lob_j01_21->n15_a_lob_j01_22 n15_a_lob_j01_24 CONJ n15_a_lob_j01_23->n15_a_lob_j01_24 n15_a_lob_j01_26 NLYR n15_a_lob_j01_23->n15_a_lob_j01_26 n15_a_lob_j01_24->n15_a_lob_j01_25 n15_a_lob_j01_27 NUM n15_a_lob_j01_26->n15_a_lob_j01_27 n15_a_lob_j01_29 N n15_a_lob_j01_26->n15_a_lob_j01_29 n15_a_lob_j01_31 N n15_a_lob_j01_26->n15_a_lob_j01_31 n15_a_lob_j01_27->n15_a_lob_j01_28 n15_a_lob_j01_29->n15_a_lob_j01_30 n15_a_lob_j01_31->n15_a_lob_j01_32 n15_a_lob_j01_34 PP n15_a_lob_j01_33->n15_a_lob_j01_34 n15_a_lob_j01_44 CONJP n15_a_lob_j01_33->n15_a_lob_j01_44 n15_a_lob_j01_35 P-ROLE n15_a_lob_j01_34->n15_a_lob_j01_35 n15_a_lob_j01_37 NP n15_a_lob_j01_34->n15_a_lob_j01_37 n15_a_lob_j01_35->n15_a_lob_j01_36 n15_a_lob_j01_38 NUM n15_a_lob_j01_37->n15_a_lob_j01_38 n15_a_lob_j01_40 N n15_a_lob_j01_37->n15_a_lob_j01_40 n15_a_lob_j01_42 NS n15_a_lob_j01_37->n15_a_lob_j01_42 n15_a_lob_j01_38->n15_a_lob_j01_39 n15_a_lob_j01_40->n15_a_lob_j01_41 n15_a_lob_j01_42->n15_a_lob_j01_43 n15_a_lob_j01_45 CONJ n15_a_lob_j01_44->n15_a_lob_j01_45 n15_a_lob_j01_47 PP n15_a_lob_j01_44->n15_a_lob_j01_47 n15_a_lob_j01_45->n15_a_lob_j01_46 n15_a_lob_j01_48 P-ROLE n15_a_lob_j01_47->n15_a_lob_j01_48 n15_a_lob_j01_50 NP n15_a_lob_j01_47->n15_a_lob_j01_50 n15_a_lob_j01_48->n15_a_lob_j01_49 n15_a_lob_j01_51 N n15_a_lob_j01_50->n15_a_lob_j01_51 n15_a_lob_j01_53 NS n15_a_lob_j01_50->n15_a_lob_j01_53 n15_a_lob_j01_55 PP n15_a_lob_j01_50->n15_a_lob_j01_55 n15_a_lob_j01_51->n15_a_lob_j01_52 n15_a_lob_j01_53->n15_a_lob_j01_54 n15_a_lob_j01_56 P-ROLE n15_a_lob_j01_55->n15_a_lob_j01_56 n15_a_lob_j01_58 NP n15_a_lob_j01_55->n15_a_lob_j01_58 n15_a_lob_j01_56->n15_a_lob_j01_57 n15_a_lob_j01_59 NLYR n15_a_lob_j01_58->n15_a_lob_j01_59 n15_a_lob_j01_60 NLYR n15_a_lob_j01_59->n15_a_lob_j01_60 n15_a_lob_j01_63 CONJP n15_a_lob_j01_59->n15_a_lob_j01_63 n15_a_lob_j01_61 NUM n15_a_lob_j01_60->n15_a_lob_j01_61 n15_a_lob_j01_61->n15_a_lob_j01_62 n15_a_lob_j01_64 CONJ n15_a_lob_j01_63->n15_a_lob_j01_64 n15_a_lob_j01_66 NLYR n15_a_lob_j01_63->n15_a_lob_j01_66 n15_a_lob_j01_64->n15_a_lob_j01_65 n15_a_lob_j01_67 NUM n15_a_lob_j01_66->n15_a_lob_j01_67 n15_a_lob_j01_69 N n15_a_lob_j01_66->n15_a_lob_j01_69 n15_a_lob_j01_67->n15_a_lob_j01_68 n15_a_lob_j01_69->n15_a_lob_j01_70 n15_a_lob_j01_71->n15_a_lob_j01_72 n15_a_lob_j01_74 NP-LGS n15_a_lob_j01_73->n15_a_lob_j01_74 n15_a_lob_j01_76 VVN;_Tn_ n15_a_lob_j01_73->n15_a_lob_j01_76 n15_a_lob_j01_78 PP-NIM n15_a_lob_j01_73->n15_a_lob_j01_78 n15_a_lob_j01_74->n15_a_lob_j01_75 n15_a_lob_j01_76->n15_a_lob_j01_77 n15_a_lob_j01_79 P-ROLE n15_a_lob_j01_78->n15_a_lob_j01_79 n15_a_lob_j01_81 NP n15_a_lob_j01_78->n15_a_lob_j01_81 n15_a_lob_j01_79->n15_a_lob_j01_80 n15_a_lob_j01_82 N n15_a_lob_j01_81->n15_a_lob_j01_82 n15_a_lob_j01_84 NUM n15_a_lob_j01_81->n15_a_lob_j01_84 n15_a_lob_j01_82->n15_a_lob_j01_83 n15_a_lob_j01_84->n15_a_lob_j01_85 n15_a_lob_j01_86->n15_a_lob_j01_87 
( (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))