Context                Previous, Next                Top


51_a_lob_j01
Possible materials are zirconia stabilised with lime and thoria doped with rare earth oxides.

%3 r_0051_0002__materials materials r_0051_0001__Possible Possible r_0051_0002__materials->r_0051_0001__Possible [attrib] r_0051_0003__are are r_0051_0003__are->r_0051_0002__materials [arg0] r_0051_0004__zirconia zirconia r_0051_0003__are->r_0051_0004__zirconia [prd] r_0051_0005__stabilised stabilised r_0051_0005__stabilised->r_0051_0004__zirconia [arg1] r_0051_0008__and and r_0051_0005__stabilised->r_0051_0008__and with [nim] z_000_51_a_lob_j01_14 r_0051_0005__stabilised->z_000_51_a_lob_j01_14 [arg0] r_0051_0007__lime lime r_0051_0008__and->r_0051_0007__lime [conj1] r_0051_0009__thoria thoria r_0051_0008__and->r_0051_0009__thoria [conj2] r_0051_0010__doped doped r_0051_0010__doped->r_0051_0008__and [arg1] r_0051_0013__earth_r_0051_0014__oxides earth oxides r_0051_0010__doped->r_0051_0013__earth_r_0051_0014__oxides with [nim] z_000_51_a_lob_j01_33 r_0051_0010__doped->z_000_51_a_lob_j01_33 [arg0] r_0051_0012__rare rare r_0051_0013__earth_r_0051_0014__oxides->r_0051_0012__rare [attrib] 
arc(r_0051_0002__materials, r_0051_0001__Possible, attrib3).
arc(r_0051_0003__are, r_0051_0002__materials, arg0).
arc(r_0051_0003__are, r_0051_0004__zirconia, prd).
arc(r_0051_0005__stabilised, r_0051_0004__zirconia, arg1).
arc(r_0051_0005__stabilised, r_0051_0008__and, r_0051_0006__with_nim21).
arc(r_0051_0005__stabilised, z_000_51_a_lob_j01_14, arg0).
arc(r_0051_0008__and, r_0051_0007__lime, conj1).
arc(r_0051_0008__and, r_0051_0009__thoria, conj2).
arc(r_0051_0010__doped, r_0051_0008__and, arg1).
arc(r_0051_0010__doped, r_0051_0013__earth_r_0051_0014__oxides, r_0051_0011__with_nim40).
arc(r_0051_0010__doped, z_000_51_a_lob_j01_33, arg0).
arc(r_0051_0013__earth_r_0051_0014__oxides, r_0051_0012__rare, attrib41).


%3 r_0051_0002__materials materials r_0051_0001__Possible Possible r_0051_0002__materials->r_0051_0001__Possible [attrib] r_0051_0003__are are r_0051_0003__are->r_0051_0002__materials [arg0] r_0051_0004__zirconia zirconia r_0051_0003__are->r_0051_0004__zirconia [prd] r_0051_0005__stabilised stabilised r_0051_0005__stabilised->r_0051_0004__zirconia [arg1] r_0051_0008__and and r_0051_0005__stabilised->r_0051_0008__and with [nim] z_000_51_a_lob_j01_14 r_0051_0005__stabilised->z_000_51_a_lob_j01_14 [arg0] r_0051_0007__lime lime r_0051_0008__and->r_0051_0007__lime [conj1] r_0051_0009__thoria thoria r_0051_0008__and->r_0051_0009__thoria [conj2] r_0051_0010__doped doped r_0051_0010__doped->r_0051_0008__and [arg1] r_0051_0013__earth_r_0051_0014__oxides earth oxides r_0051_0010__doped->r_0051_0013__earth_r_0051_0014__oxides with [nim] z_000_51_a_lob_j01_33 r_0051_0010__doped->z_000_51_a_lob_j01_33 [arg0] r_0051_0012__rare rare r_0051_0013__earth_r_0051_0014__oxides->r_0051_0012__rare [attrib] 
fof(formula,axiom,
    ? [R_51_3_ARE,R_51_2_MATERIALS,R_51_1_POSSIBLE,R_51_5_STABILISED,Z_51_A_LOB_J01_14,R_51_4_ZIRCONIA,R_51_10_DOPED,Z_51_A_LOB_J01_33,R_51_8_AND,R_51_7_LIME,R_51_9_THORIA,R_51_13_EARTH_OXIDES,R_51_12_RARE] :
      ( possible(R_51_1_POSSIBLE)
      & zirconia(R_51_4_ZIRCONIA)
      & lime(R_51_7_LIME)
      & thoria(R_51_9_THORIA)
      & rare(R_51_12_RARE)
      & are(R_51_3_ARE,R_51_2_MATERIALS,R_51_4_ZIRCONIA)
      & materials(R_51_2_MATERIALS)
      & attrib3(R_51_2_MATERIALS,R_51_1_POSSIBLE)
      & stabilised(R_51_5_STABILISED,Z_51_A_LOB_J01_14,R_51_4_ZIRCONIA)
      & with_nim21(R_51_5_STABILISED,R_51_8_AND)
      & and(R_51_8_AND)
      & conj1(R_51_8_AND,R_51_7_LIME)
      & conj2(R_51_8_AND,R_51_9_THORIA)
      & doped(R_51_10_DOPED,Z_51_A_LOB_J01_33,R_51_8_AND)
      & with_nim40(R_51_10_DOPED,R_51_13_EARTH_OXIDES)
      & earth_oxides(R_51_13_EARTH_OXIDES)
      & attrib41(R_51_13_EARTH_OXIDES,R_51_12_RARE) ) ).


n51_a_lob_j01 n51_a_lob_j01_5 Possible n51_a_lob_j01_7 materials n51_a_lob_j01_9 are n51_a_lob_j01_12 zirconia n51_a_lob_j01_15 * n51_a_lob_j01_17 stabilised n51_a_lob_j01_20 with n51_a_lob_j01_25 lime n51_a_lob_j01_28 and n51_a_lob_j01_31 thoria n51_a_lob_j01_34 * n51_a_lob_j01_36 doped n51_a_lob_j01_39 with n51_a_lob_j01_43 rare n51_a_lob_j01_45 earth n51_a_lob_j01_47 oxides n51_a_lob_j01_49 . n51_a_lob_j01_1 IP-MAT n51_a_lob_j01_2 NP-SBJ n51_a_lob_j01_1->n51_a_lob_j01_2 n51_a_lob_j01_8 BEP;_Ln_ n51_a_lob_j01_1->n51_a_lob_j01_8 n51_a_lob_j01_10 NP-PRD n51_a_lob_j01_1->n51_a_lob_j01_10 n51_a_lob_j01_48 PUNC n51_a_lob_j01_1->n51_a_lob_j01_48 n51_a_lob_j01_3 ADJP n51_a_lob_j01_2->n51_a_lob_j01_3 n51_a_lob_j01_6 NS n51_a_lob_j01_2->n51_a_lob_j01_6 n51_a_lob_j01_4 ADJ n51_a_lob_j01_3->n51_a_lob_j01_4 n51_a_lob_j01_4->n51_a_lob_j01_5 n51_a_lob_j01_6->n51_a_lob_j01_7 n51_a_lob_j01_8->n51_a_lob_j01_9 n51_a_lob_j01_11 N n51_a_lob_j01_10->n51_a_lob_j01_11 n51_a_lob_j01_13 IP-PPL n51_a_lob_j01_10->n51_a_lob_j01_13 n51_a_lob_j01_11->n51_a_lob_j01_12 n51_a_lob_j01_14 NP-LGS n51_a_lob_j01_13->n51_a_lob_j01_14 n51_a_lob_j01_16 VVN;_Tn_ n51_a_lob_j01_13->n51_a_lob_j01_16 n51_a_lob_j01_18 PP-NIM n51_a_lob_j01_13->n51_a_lob_j01_18 n51_a_lob_j01_14->n51_a_lob_j01_15 n51_a_lob_j01_16->n51_a_lob_j01_17 n51_a_lob_j01_19 P-ROLE n51_a_lob_j01_18->n51_a_lob_j01_19 n51_a_lob_j01_21 NP n51_a_lob_j01_18->n51_a_lob_j01_21 n51_a_lob_j01_19->n51_a_lob_j01_20 n51_a_lob_j01_22 NLYR n51_a_lob_j01_21->n51_a_lob_j01_22 n51_a_lob_j01_32 IP-PPL n51_a_lob_j01_21->n51_a_lob_j01_32 n51_a_lob_j01_23 NLYR n51_a_lob_j01_22->n51_a_lob_j01_23 n51_a_lob_j01_26 CONJP n51_a_lob_j01_22->n51_a_lob_j01_26 n51_a_lob_j01_24 N n51_a_lob_j01_23->n51_a_lob_j01_24 n51_a_lob_j01_24->n51_a_lob_j01_25 n51_a_lob_j01_27 CONJ n51_a_lob_j01_26->n51_a_lob_j01_27 n51_a_lob_j01_29 NLYR n51_a_lob_j01_26->n51_a_lob_j01_29 n51_a_lob_j01_27->n51_a_lob_j01_28 n51_a_lob_j01_30 N n51_a_lob_j01_29->n51_a_lob_j01_30 n51_a_lob_j01_30->n51_a_lob_j01_31 n51_a_lob_j01_33 NP-LGS n51_a_lob_j01_32->n51_a_lob_j01_33 n51_a_lob_j01_35 VVN;_Tn_ n51_a_lob_j01_32->n51_a_lob_j01_35 n51_a_lob_j01_37 PP-NIM n51_a_lob_j01_32->n51_a_lob_j01_37 n51_a_lob_j01_33->n51_a_lob_j01_34 n51_a_lob_j01_35->n51_a_lob_j01_36 n51_a_lob_j01_38 P-ROLE n51_a_lob_j01_37->n51_a_lob_j01_38 n51_a_lob_j01_40 NP n51_a_lob_j01_37->n51_a_lob_j01_40 n51_a_lob_j01_38->n51_a_lob_j01_39 n51_a_lob_j01_41 ADJP n51_a_lob_j01_40->n51_a_lob_j01_41 n51_a_lob_j01_44 N n51_a_lob_j01_40->n51_a_lob_j01_44 n51_a_lob_j01_46 NS n51_a_lob_j01_40->n51_a_lob_j01_46 n51_a_lob_j01_42 ADJ n51_a_lob_j01_41->n51_a_lob_j01_42 n51_a_lob_j01_42->n51_a_lob_j01_43 n51_a_lob_j01_44->n51_a_lob_j01_45 n51_a_lob_j01_46->n51_a_lob_j01_47 n51_a_lob_j01_48->n51_a_lob_j01_49 
( (IP-MAT (NP-SBJ (ADJP (ADJ Possible;{possible}))
                  (NS materials;{material}))
          (BEP;_Ln_ are;{be})
          (NP-PRD (N zirconia;{zirconia})
                  (IP-PPL (NP-LGS *)
                          (VVN;_Tn_ stabilised;{stabilise})
                          (PP-NIM (P-ROLE with;{with})
                                  (NP (NLYR (NLYR (N lime;{lime}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (N thoria;{thoria}))))
                                      (IP-PPL (NP-LGS *)
                                              (VVN;_Tn_ doped;{dope})
                                              (PP-NIM (P-ROLE with;{with})
                                                      (NP (ADJP (ADJ rare;{rare}))
                                                          (N earth;{earth})
                                                          (NS oxides;{oxide}))))))))
          (PUNC .))
  (ID 51_a_lob_j01))