Context                Previous, Next                Top


52_a_lob_j01
If such a material can be made with these properties a possible way in which the cell may be incorporated in a sodium circuit is depicted in fig 4.

%3 r_0052_0001__If If r_0052_0005__can can r_0052_0001__If->r_0052_0005__can [restriction] r_0052_0025__is is r_0052_0001__If->r_0052_0025__is [scope] r_0052_0006__be be r_0052_0005__can->r_0052_0006__be [scope] r_0052_0026__depicted depicted r_0052_0025__is->r_0052_0026__depicted [scope] r_0052_0003__a_r_0052_0004__material a material r_0052_0002__such such r_0052_0003__a_r_0052_0004__material->r_0052_0002__such [attrib] r_0052_0007__made made r_0052_0006__be->r_0052_0007__made [scope] r_0052_0007__made->r_0052_0003__a_r_0052_0004__material [arg1] r_0052_0009__these_r_0052_0010__properties these properties r_0052_0007__made->r_0052_0009__these_r_0052_0010__properties with [nim] z_000_52_a_lob_j01_20 r_0052_0007__made->z_000_52_a_lob_j01_20 [arg0] r_0052_0011__a_r_0052_0013__way a way r_0052_0012__possible possible r_0052_0011__a_r_0052_0013__way->r_0052_0012__possible [attrib] r_0052_0018__may may r_0052_0018__may->r_0052_0011__a_r_0052_0013__way in [nim] r_0052_0019__be be r_0052_0018__may->r_0052_0019__be [scope] r_0052_0020__incorporated incorporated r_0052_0019__be->r_0052_0020__incorporated [scope] r_0052_0016__the_r_0052_0017__cell the cell r_0052_0020__incorporated->r_0052_0016__the_r_0052_0017__cell [arg1] r_0052_0022__a_r_0052_0023__sodium_r_0052_0024__circuit a sodium circuit r_0052_0020__incorporated->r_0052_0022__a_r_0052_0023__sodium_r_0052_0024__circuit in [nim] z_000_52_a_lob_j01_58 r_0052_0020__incorporated->z_000_52_a_lob_j01_58 [arg0] r_0052_0026__depicted->r_0052_0011__a_r_0052_0013__way [arg1] r_0052_0028__fig_r_0052_0029__4 fig 4 r_0052_0026__depicted->r_0052_0028__fig_r_0052_0029__4 in [nim] z_000_52_a_lob_j01_75 r_0052_0026__depicted->z_000_52_a_lob_j01_75 [arg0] 
arc(r_0052_0001__If, r_0052_0005__can, restriction).
arc(r_0052_0001__If, r_0052_0025__is, scope).
arc(r_0052_0003__a_r_0052_0004__material, r_0052_0002__such, attrib7).
arc(r_0052_0005__can, r_0052_0006__be, scope).
arc(r_0052_0006__be, r_0052_0007__made, scope).
arc(r_0052_0007__made, r_0052_0003__a_r_0052_0004__material, arg1).
arc(r_0052_0007__made, r_0052_0009__these_r_0052_0010__properties, r_0052_0008__with_nim27).
arc(r_0052_0007__made, z_000_52_a_lob_j01_20, arg0).
arc(r_0052_0011__a_r_0052_0013__way, r_0052_0012__possible, attrib35).
arc(r_0052_0018__may, r_0052_0011__a_r_0052_0013__way, r_0052_0014__in_nim44).
arc(r_0052_0018__may, r_0052_0019__be, scope).
arc(r_0052_0019__be, r_0052_0020__incorporated, scope).
arc(r_0052_0020__incorporated, r_0052_0016__the_r_0052_0017__cell, arg1).
arc(r_0052_0020__incorporated, r_0052_0022__a_r_0052_0023__sodium_r_0052_0024__circuit, r_0052_0021__in_nim65).
arc(r_0052_0020__incorporated, z_000_52_a_lob_j01_58, arg0).
arc(r_0052_0025__is, r_0052_0026__depicted, scope).
arc(r_0052_0026__depicted, r_0052_0011__a_r_0052_0013__way, arg1).
arc(r_0052_0026__depicted, r_0052_0028__fig_r_0052_0029__4, r_0052_0027__in_nim82).
arc(r_0052_0026__depicted, z_000_52_a_lob_j01_75, arg0).


%3 r_0052_0001__If If r_0052_0005__can_r_0052_0006__be_r_0052_0007__made can be made r_0052_0001__If->r_0052_0005__can_r_0052_0006__be_r_0052_0007__made [restriction] r_0052_0025__is_r_0052_0026__depicted is depicted r_0052_0001__If->r_0052_0025__is_r_0052_0026__depicted [scope] r_0052_0003__a_r_0052_0004__material a material r_0052_0005__can_r_0052_0006__be_r_0052_0007__made->r_0052_0003__a_r_0052_0004__material [arg1] r_0052_0009__these_r_0052_0010__properties these properties r_0052_0005__can_r_0052_0006__be_r_0052_0007__made->r_0052_0009__these_r_0052_0010__properties with [nim] z_000_52_a_lob_j01_20 r_0052_0005__can_r_0052_0006__be_r_0052_0007__made->z_000_52_a_lob_j01_20 [arg0] r_0052_0011__a_r_0052_0013__way a way r_0052_0025__is_r_0052_0026__depicted->r_0052_0011__a_r_0052_0013__way [arg1] r_0052_0028__fig_r_0052_0029__4 fig 4 r_0052_0025__is_r_0052_0026__depicted->r_0052_0028__fig_r_0052_0029__4 in [nim] z_000_52_a_lob_j01_75 r_0052_0025__is_r_0052_0026__depicted->z_000_52_a_lob_j01_75 [arg0] r_0052_0002__such such r_0052_0003__a_r_0052_0004__material->r_0052_0002__such [attrib] r_0052_0012__possible possible r_0052_0011__a_r_0052_0013__way->r_0052_0012__possible [attrib] r_0052_0018__may_r_0052_0019__be_r_0052_0020__incorporated may be incorporated r_0052_0018__may_r_0052_0019__be_r_0052_0020__incorporated->r_0052_0011__a_r_0052_0013__way in [nim] r_0052_0016__the_r_0052_0017__cell the cell r_0052_0018__may_r_0052_0019__be_r_0052_0020__incorporated->r_0052_0016__the_r_0052_0017__cell [arg1] r_0052_0022__a_r_0052_0023__sodium_r_0052_0024__circuit a sodium circuit r_0052_0018__may_r_0052_0019__be_r_0052_0020__incorporated->r_0052_0022__a_r_0052_0023__sodium_r_0052_0024__circuit in [nim] z_000_52_a_lob_j01_58 r_0052_0018__may_r_0052_0019__be_r_0052_0020__incorporated->z_000_52_a_lob_j01_58 [arg0] 
fof(formula,axiom,
    ? [R_52_18_MAY_BE_INCORPORATED,Z_52_A_LOB_J01_58,R_52_16_THE_CELL,R_52_11_A_WAY,R_52_12_POSSIBLE,R_52_22_A_SODIUM_CIRCUIT] :
      ( the_cell(R_52_16_THE_CELL)
      & possible(R_52_12_POSSIBLE)
      & a_sodium_circuit(R_52_22_A_SODIUM_CIRCUIT)
      & ! [R_52_5_CAN_BE_MADE,Z_52_A_LOB_J01_20,R_52_3_A_MATERIAL,R_52_2_SUCH,R_52_9_THESE_PROPERTIES] :
          ( ( such(R_52_2_SUCH)
            & these_properties(R_52_9_THESE_PROPERTIES)
            & can_be_made(R_52_5_CAN_BE_MADE,Z_52_A_LOB_J01_20,R_52_3_A_MATERIAL)
            & a_material(R_52_3_A_MATERIAL)
            & attrib7(R_52_3_A_MATERIAL,R_52_2_SUCH)
            & with_nim27(R_52_5_CAN_BE_MADE,R_52_9_THESE_PROPERTIES) )
         => ? [R_52_25_IS_DEPICTED,Z_52_A_LOB_J01_75,R_52_28_FIG_4] :
              ( fig_4(R_52_28_FIG_4)
              & is_depicted(R_52_25_IS_DEPICTED,Z_52_A_LOB_J01_75,R_52_11_A_WAY)
              & in_nim82(R_52_25_IS_DEPICTED,R_52_28_FIG_4) ) )
      & may_be_incorporated(R_52_18_MAY_BE_INCORPORATED,Z_52_A_LOB_J01_58,R_52_16_THE_CELL)
      & in_nim44(R_52_18_MAY_BE_INCORPORATED,R_52_11_A_WAY)
      & a_way(R_52_11_A_WAY)
      & attrib35(R_52_11_A_WAY,R_52_12_POSSIBLE)
      & in_nim65(R_52_18_MAY_BE_INCORPORATED,R_52_22_A_SODIUM_CIRCUIT) ) ).


n52_a_lob_j01 n52_a_lob_j01_4 If n52_a_lob_j01_9 such n52_a_lob_j01_11 a n52_a_lob_j01_13 material n52_a_lob_j01_15 can n52_a_lob_j01_18 be n52_a_lob_j01_21 * n52_a_lob_j01_23 made n52_a_lob_j01_26 with n52_a_lob_j01_29 these n52_a_lob_j01_31 properties n52_a_lob_j01_34 a n52_a_lob_j01_37 possible n52_a_lob_j01_39 way n52_a_lob_j01_43 in n52_a_lob_j01_46 which n52_a_lob_j01_49 the n52_a_lob_j01_51 cell n52_a_lob_j01_53 may n52_a_lob_j01_56 be n52_a_lob_j01_59 * n52_a_lob_j01_61 incorporated n52_a_lob_j01_64 in n52_a_lob_j01_67 a n52_a_lob_j01_69 sodium n52_a_lob_j01_71 circuit n52_a_lob_j01_73 is n52_a_lob_j01_76 * n52_a_lob_j01_78 depicted n52_a_lob_j01_81 in n52_a_lob_j01_84 fig n52_a_lob_j01_86 4 n52_a_lob_j01_88 . n52_a_lob_j01_1 IP-MAT n52_a_lob_j01_2 PP-SCON n52_a_lob_j01_1->n52_a_lob_j01_2 n52_a_lob_j01_32 NP-SBJ n52_a_lob_j01_1->n52_a_lob_j01_32 n52_a_lob_j01_72 BEP;_cat_VePASS_ n52_a_lob_j01_1->n52_a_lob_j01_72 n52_a_lob_j01_74 IP-PPL-CAT n52_a_lob_j01_1->n52_a_lob_j01_74 n52_a_lob_j01_87 PUNC n52_a_lob_j01_1->n52_a_lob_j01_87 n52_a_lob_j01_3 P-CONN n52_a_lob_j01_2->n52_a_lob_j01_3 n52_a_lob_j01_5 IP-ADV n52_a_lob_j01_2->n52_a_lob_j01_5 n52_a_lob_j01_3->n52_a_lob_j01_4 n52_a_lob_j01_6 NP-SBJ n52_a_lob_j01_5->n52_a_lob_j01_6 n52_a_lob_j01_14 MD;_cat_Vi_ n52_a_lob_j01_5->n52_a_lob_j01_14 n52_a_lob_j01_16 IP-INF-CAT n52_a_lob_j01_5->n52_a_lob_j01_16 n52_a_lob_j01_7 ADJP n52_a_lob_j01_6->n52_a_lob_j01_7 n52_a_lob_j01_10 D n52_a_lob_j01_6->n52_a_lob_j01_10 n52_a_lob_j01_12 N n52_a_lob_j01_6->n52_a_lob_j01_12 n52_a_lob_j01_8 ADJ;_such_ n52_a_lob_j01_7->n52_a_lob_j01_8 n52_a_lob_j01_8->n52_a_lob_j01_9 n52_a_lob_j01_10->n52_a_lob_j01_11 n52_a_lob_j01_12->n52_a_lob_j01_13 n52_a_lob_j01_14->n52_a_lob_j01_15 n52_a_lob_j01_17 BE;_cat_VePASS_ n52_a_lob_j01_16->n52_a_lob_j01_17 n52_a_lob_j01_19 IP-PPL-CAT n52_a_lob_j01_16->n52_a_lob_j01_19 n52_a_lob_j01_17->n52_a_lob_j01_18 n52_a_lob_j01_20 NP-LGS n52_a_lob_j01_19->n52_a_lob_j01_20 n52_a_lob_j01_22 VVN;_Tn_ n52_a_lob_j01_19->n52_a_lob_j01_22 n52_a_lob_j01_24 PP-NIM n52_a_lob_j01_19->n52_a_lob_j01_24 n52_a_lob_j01_20->n52_a_lob_j01_21 n52_a_lob_j01_22->n52_a_lob_j01_23 n52_a_lob_j01_25 P-ROLE n52_a_lob_j01_24->n52_a_lob_j01_25 n52_a_lob_j01_27 NP n52_a_lob_j01_24->n52_a_lob_j01_27 n52_a_lob_j01_25->n52_a_lob_j01_26 n52_a_lob_j01_28 D n52_a_lob_j01_27->n52_a_lob_j01_28 n52_a_lob_j01_30 NS n52_a_lob_j01_27->n52_a_lob_j01_30 n52_a_lob_j01_28->n52_a_lob_j01_29 n52_a_lob_j01_30->n52_a_lob_j01_31 n52_a_lob_j01_33 D n52_a_lob_j01_32->n52_a_lob_j01_33 n52_a_lob_j01_35 ADJP n52_a_lob_j01_32->n52_a_lob_j01_35 n52_a_lob_j01_38 N n52_a_lob_j01_32->n52_a_lob_j01_38 n52_a_lob_j01_40 IP-REL n52_a_lob_j01_32->n52_a_lob_j01_40 n52_a_lob_j01_33->n52_a_lob_j01_34 n52_a_lob_j01_36 ADJ n52_a_lob_j01_35->n52_a_lob_j01_36 n52_a_lob_j01_36->n52_a_lob_j01_37 n52_a_lob_j01_38->n52_a_lob_j01_39 n52_a_lob_j01_41 PP-NIM n52_a_lob_j01_40->n52_a_lob_j01_41 n52_a_lob_j01_47 NP-SBJ n52_a_lob_j01_40->n52_a_lob_j01_47 n52_a_lob_j01_52 MD;_cat_Vi_ n52_a_lob_j01_40->n52_a_lob_j01_52 n52_a_lob_j01_54 IP-INF-CAT n52_a_lob_j01_40->n52_a_lob_j01_54 n52_a_lob_j01_42 P-ROLE n52_a_lob_j01_41->n52_a_lob_j01_42 n52_a_lob_j01_44 NP n52_a_lob_j01_41->n52_a_lob_j01_44 n52_a_lob_j01_42->n52_a_lob_j01_43 n52_a_lob_j01_45 RPRO n52_a_lob_j01_44->n52_a_lob_j01_45 n52_a_lob_j01_45->n52_a_lob_j01_46 n52_a_lob_j01_48 D n52_a_lob_j01_47->n52_a_lob_j01_48 n52_a_lob_j01_50 N n52_a_lob_j01_47->n52_a_lob_j01_50 n52_a_lob_j01_48->n52_a_lob_j01_49 n52_a_lob_j01_50->n52_a_lob_j01_51 n52_a_lob_j01_52->n52_a_lob_j01_53 n52_a_lob_j01_55 BE;_cat_VePASS_ n52_a_lob_j01_54->n52_a_lob_j01_55 n52_a_lob_j01_57 IP-PPL-CAT n52_a_lob_j01_54->n52_a_lob_j01_57 n52_a_lob_j01_55->n52_a_lob_j01_56 n52_a_lob_j01_58 NP-LGS n52_a_lob_j01_57->n52_a_lob_j01_58 n52_a_lob_j01_60 VVN;_Tn_ n52_a_lob_j01_57->n52_a_lob_j01_60 n52_a_lob_j01_62 PP-NIM n52_a_lob_j01_57->n52_a_lob_j01_62 n52_a_lob_j01_58->n52_a_lob_j01_59 n52_a_lob_j01_60->n52_a_lob_j01_61 n52_a_lob_j01_63 P-ROLE n52_a_lob_j01_62->n52_a_lob_j01_63 n52_a_lob_j01_65 NP n52_a_lob_j01_62->n52_a_lob_j01_65 n52_a_lob_j01_63->n52_a_lob_j01_64 n52_a_lob_j01_66 D n52_a_lob_j01_65->n52_a_lob_j01_66 n52_a_lob_j01_68 N n52_a_lob_j01_65->n52_a_lob_j01_68 n52_a_lob_j01_70 N n52_a_lob_j01_65->n52_a_lob_j01_70 n52_a_lob_j01_66->n52_a_lob_j01_67 n52_a_lob_j01_68->n52_a_lob_j01_69 n52_a_lob_j01_70->n52_a_lob_j01_71 n52_a_lob_j01_72->n52_a_lob_j01_73 n52_a_lob_j01_75 NP-LGS n52_a_lob_j01_74->n52_a_lob_j01_75 n52_a_lob_j01_77 VVN;_Tn_ n52_a_lob_j01_74->n52_a_lob_j01_77 n52_a_lob_j01_79 PP-NIM n52_a_lob_j01_74->n52_a_lob_j01_79 n52_a_lob_j01_75->n52_a_lob_j01_76 n52_a_lob_j01_77->n52_a_lob_j01_78 n52_a_lob_j01_80 P-ROLE n52_a_lob_j01_79->n52_a_lob_j01_80 n52_a_lob_j01_82 NP n52_a_lob_j01_79->n52_a_lob_j01_82 n52_a_lob_j01_80->n52_a_lob_j01_81 n52_a_lob_j01_83 N n52_a_lob_j01_82->n52_a_lob_j01_83 n52_a_lob_j01_85 NUM n52_a_lob_j01_82->n52_a_lob_j01_85 n52_a_lob_j01_83->n52_a_lob_j01_84 n52_a_lob_j01_85->n52_a_lob_j01_86 n52_a_lob_j01_87->n52_a_lob_j01_88 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ (ADJP (ADJ;_such_ such;{such}))
                                   (D a;{a})
                                   (N material;{material}))
                           (MD;_cat_Vi_ can;{can})
                           (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                       (IP-PPL-CAT (NP-LGS *)
                                                   (VVN;_Tn_ made;{make})
                                                   (PP-NIM (P-ROLE with;{with})
                                                           (NP (D these;{these})
                                                               (NS properties;{property})))))))
          (NP-SBJ (D a;{a})
                  (ADJP (ADJ possible;{possible}))
                  (N way;{way})
                  (IP-REL (PP-NIM (P-ROLE in;{in})
                                  (NP (RPRO which;{which})))
                          (NP-SBJ (D the;{the})
                                  (N cell;{cell}))
                          (MD;_cat_Vi_ may;{may})
                          (IP-INF-CAT (BE;_cat_VePASS_ be;{be})
                                      (IP-PPL-CAT (NP-LGS *)
                                                  (VVN;_Tn_ incorporated;{incorporate})
                                                  (PP-NIM (P-ROLE in;{in})
                                                          (NP (D a;{a})
                                                              (N sodium;{sodium})
                                                              (N circuit;{circuit})))))))
          (BEP;_cat_VePASS_ is;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ depicted;{depict})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (N fig;{fig})
                                  (NUM 4))))
          (PUNC .))
  (ID 52_a_lob_j01))