TSPC 36_a_lob

36_a_lob_j01
If it is assumed that in practise the maximum voltage developed by the cell at 500 <deg> C will be around 300 mv (see fig 1) then in the case of the instrument with the lower resistance the current will be: — 3 x 10<bsup>-14<ast><bsup> coulombs / sec.

arc(r_0036_0001__If, r_0036_0003__is, restriction).
arc(r_0036_0001__If, r_0036_0042__will, scope).
arc(r_0036_0003__is, r_0036_0004__assumed, scope).
arc(r_0036_0004__assumed, r_0036_0005__that_r_0036_0019__will, arg1).
arc(r_0036_0004__assumed, z_000_36_a_lob_j01_12, arg0).
arc(r_0036_0005__that_r_0036_0019__will, r_0036_0007__practise, r_0036_0006__in_nim23).
arc(r_0036_0005__that_r_0036_0019__will, r_0036_0020__be, scope).
arc(r_0036_0008__the_r_0036_0010__voltage, r_0036_0009__maximum, attrib29).
arc(r_0036_0011__developed, r_0036_0008__the_r_0036_0010__voltage, arg1).
arc(r_0036_0011__developed, r_0036_0013__the_r_0036_0014__cell, arg0).
arc(r_0036_0011__developed, r_0036_0016__500_r_0036_0017___deg__r_0036_0018__C, r_0036_0015__at_nim48).
arc(r_0036_0020__be, r_0036_0008__the_r_0036_0010__voltage, arg0).
arc(r_0036_0020__be, r_0036_0022__300_r_0036_0023__mv, prd).
arc(r_0036_0022__300_r_0036_0023__mv, r_0036_0021__around, qual61).
arc(r_0036_0031__the_r_0036_0032__case, r_0036_0034__the_r_0036_0035__instrument, r_0036_0033__of).
arc(r_0036_0034__the_r_0036_0035__instrument, r_0036_0037__the_r_0036_0039__resistance, r_0036_0036__with).
arc(r_0036_0037__the_r_0036_0039__resistance, r_0036_0038__lower, attrib106).
arc(r_0036_0042__will, r_0036_0029__then, nim81).
arc(r_0036_0042__will, r_0036_0031__the_r_0036_0032__case, r_0036_0030__in_nim87).
arc(r_0036_0042__will, r_0036_0043__be, scope).
arc(r_0036_0043__be, r_0036_0040__the_r_0036_0041__current, arg0).
arc(r_0036_0043__be, r_0036_0046__3_r_0036_0047__x_r_0036_0048__10_bsup___hyphen__14_ast__bsup__r_0036_0049__coulombs, prd).
arc(r_0036_0046__3_r_0036_0047__x_r_0036_0048__10_bsup___hyphen__14_ast__bsup__r_0036_0049__coulombs, r_0036_0051__sec, r_0036_0050___sol_).

fof(formula,axiom,
    ? [R_36_11_DEVELOPED,R_36_13_THE_CELL,R_36_8_THE_VOLTAGE,R_36_9_MAXIMUM,R_36_16_500_DEG_C] :
      ( the_cell(R_36_13_THE_CELL)
      & maximum(R_36_9_MAXIMUM)
      & 500_deg_C(R_36_16_500_DEG_C)
      & ! [R_36_3_IS_ASSUMED,Z_36_A_LOB_J01_12,R_36_5_THAT_WILL_BE,R_36_22_300_MV,R_36_21_AROUND,R_36_7_PRACTISE] :
          ( ( around(R_36_21_AROUND)
            & practise(R_36_7_PRACTISE)
            & is_assumed(R_36_3_IS_ASSUMED,Z_36_A_LOB_J01_12,R_36_5_THAT_WILL_BE)
            & that_will_be(R_36_5_THAT_WILL_BE,R_36_8_THE_VOLTAGE,R_36_22_300_MV)
            & 300_mv(R_36_22_300_MV)
            & qual61(R_36_22_300_MV,R_36_21_AROUND)
            & in_nim23(R_36_5_THAT_WILL_BE,R_36_7_PRACTISE) )
         => ? [R_36_42_WILL_BE,R_36_40_THE_CURRENT,R_36_29_THEN,R_36_46_3_X_10_BSUP__HYPHEN_14_AST_BSUP_COULOMBS,R_36_51_SEC,R_36_31_THE_CASE,R_36_34_THE_INSTRUMENT,R_36_37_THE_RESISTANCE,R_36_38_LOWER] :
              ( the_current(R_36_40_THE_CURRENT)
              & then(R_36_29_THEN)
              & sec(R_36_51_SEC)
              & lower(R_36_38_LOWER)
              & will_be(R_36_42_WILL_BE,R_36_40_THE_CURRENT,R_36_46_3_X_10_BSUP__HYPHEN_14_AST_BSUP_COULOMBS)
              & 3_x_10_bsup__hyphen_14_ast_bsup_coulombs(R_36_46_3_X_10_BSUP__HYPHEN_14_AST_BSUP_COULOMBS)
              & _sol_(R_36_46_3_X_10_BSUP__HYPHEN_14_AST_BSUP_COULOMBS,R_36_51_SEC)
              & nim81(R_36_42_WILL_BE,R_36_29_THEN)
              & in_nim87(R_36_42_WILL_BE,R_36_31_THE_CASE)
              & the_case(R_36_31_THE_CASE)
              & of(R_36_31_THE_CASE,R_36_34_THE_INSTRUMENT)
              & the_instrument(R_36_34_THE_INSTRUMENT)
              & with(R_36_34_THE_INSTRUMENT,R_36_37_THE_RESISTANCE)
              & the_resistance(R_36_37_THE_RESISTANCE)
              & attrib106(R_36_37_THE_RESISTANCE,R_36_38_LOWER) ) )
      & developed(R_36_11_DEVELOPED,R_36_13_THE_CELL,R_36_8_THE_VOLTAGE)
      & the_voltage(R_36_8_THE_VOLTAGE)
      & attrib29(R_36_8_THE_VOLTAGE,R_36_9_MAXIMUM)
      & at_nim48(R_36_11_DEVELOPED,R_36_16_500_DEG_C) ) ).

( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Tn_ assumed;{assume})
                                       (CP-THT-NSBJ (IP-SUB (C that;{that})
                                                            (PP-NIM (P-ROLE in;{in})
                                                                    (NP (N practise;{practise})))
                                                            (NP-SBJ (D the;{the})
                                                                    (ADJP (ADJ maximum;{maximum}))
                                                                    (N voltage;{voltage})
                                                                    (IP-PPL (VVN;_Tn_ developed;{develop})
                                                                            (PP-LGS (P-ROLE;_lgs_ by;{by})
                                                                                    (NP (D the;{the})
                                                                                        (N cell;{cell})))
                                                                            (PP-NIM (P-ROLE at;{at})
                                                                                    (NP (NUM 500)
                                                                                        (N <deg>)
                                                                                        (SYM C)))))
                                                            (MD;_cat_Vi_ will;{will})
                                                            (IP-INF-CAT (BE;_Ln_ be;{be})
                                                                        (NP-PRD (ADVP (ADV around;{around}))
                                                                                (NUM 300)
                                                                                (N mv;{mv})
                                                                                (PULB -LRB-)
                                                                                (PRN (IP-IMP (VB;_Tn_ see;{see})
                                                                                             (NP-OB1 (N fig;{fig})
                                                                                                     (NUM 1))))
                                                                                (PURB -RRB-))))))))
          (ADVP-NIM (ADV then;{then}))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (N case;{case})
                      (PP (P-ROLE of;{of})
                          (NP (D the;{the})
                              (N instrument;{instrument})
                              (PP (P-ROLE with;{with})
                                  (NP (D the;{the})
                                      (ADJP (ADJR lower;{low}))
                                      (N resistance;{resistance})))))))
          (NP-SBJ (D the;{the})
                  (N current;{current}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_Ln_ be;{be})
                      (PUNC :)
                      (PUNC <mdash>)
                      (NP-PRD (NUM 3)
                              (SYM x)
                              (FO 10<bsup>_<hyphen>_14<ast><bsup>)
                              (NS coulombs;{coulomb})
                              (PP (P-ROLE <sol>)
                                  (NP (N sec;{sec})))))
          (PUNC .))
  (ID 36_a_lob_j01))