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_0013__earth_r_0051_0014__oxides earth oxides r_0051_0012__rare rare r_0051_0013__earth_r_0051_0014__oxides->r_0051_0012__rare [attrib] r_0051_0010__doped doped 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_0008__and and r_0051_0010__doped->r_0051_0008__and [arg1] r_0051_0009__thoria thoria r_0051_0008__and->r_0051_0009__thoria [conj2] r_0051_0007__lime lime r_0051_0008__and->r_0051_0007__lime [conj1] r_0051_0005__stabilised stabilised 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_0004__zirconia zirconia r_0051_0005__stabilised->r_0051_0004__zirconia [arg1] r_0051_0003__are are r_0051_0003__are->r_0051_0004__zirconia [prd] r_0051_0002__materials materials r_0051_0003__are->r_0051_0002__materials [arg0] r_0051_0001__Possible Possible r_0051_0002__materials->r_0051_0001__Possible [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__1_1_1_1_1 Possible n51_a_lob_j01__1_1_2_1 materials n51_a_lob_j01__1_2_1 are n51_a_lob_j01__1_3_1_1 zirconia n51_a_lob_j01__1_3_2_1_1 * n51_a_lob_j01__1_3_2_2_1 stabilised n51_a_lob_j01__1_3_2_3_1_1 with n51_a_lob_j01__1_3_2_3_2_1_1_1_1 lime n51_a_lob_j01__1_3_2_3_2_1_2_1_1 and n51_a_lob_j01__1_3_2_3_2_1_2_2_1_1 thoria n51_a_lob_j01__1_3_2_3_2_2_1_1 * n51_a_lob_j01__1_3_2_3_2_2_2_1 doped n51_a_lob_j01__1_3_2_3_2_2_3_1_1 with n51_a_lob_j01__1_3_2_3_2_2_3_2_1_1_1 rare n51_a_lob_j01__1_3_2_3_2_2_3_2_2_1 earth n51_a_lob_j01__1_3_2_3_2_2_3_2_3_1 oxides n51_a_lob_j01__1_4_1 . n51_a_lob_j01__1 IP-MAT n51_a_lob_j01__1_1 NP-SBJ n51_a_lob_j01__1->n51_a_lob_j01__1_1 n51_a_lob_j01__1_2 BEP;_Ln_ n51_a_lob_j01__1->n51_a_lob_j01__1_2 n51_a_lob_j01__1_3 NP-PRD n51_a_lob_j01__1->n51_a_lob_j01__1_3 n51_a_lob_j01__1_4 PUNC n51_a_lob_j01__1->n51_a_lob_j01__1_4 n51_a_lob_j01__1_1_1 ADJP n51_a_lob_j01__1_1->n51_a_lob_j01__1_1_1 n51_a_lob_j01__1_1_2 NS n51_a_lob_j01__1_1->n51_a_lob_j01__1_1_2 n51_a_lob_j01__1_1_1_1 ADJ n51_a_lob_j01__1_1_1->n51_a_lob_j01__1_1_1_1 n51_a_lob_j01__1_1_1_1->n51_a_lob_j01__1_1_1_1_1 n51_a_lob_j01__1_1_2->n51_a_lob_j01__1_1_2_1 n51_a_lob_j01__1_2->n51_a_lob_j01__1_2_1 n51_a_lob_j01__1_3_1 N n51_a_lob_j01__1_3->n51_a_lob_j01__1_3_1 n51_a_lob_j01__1_3_2 IP-PPL n51_a_lob_j01__1_3->n51_a_lob_j01__1_3_2 n51_a_lob_j01__1_3_1->n51_a_lob_j01__1_3_1_1 n51_a_lob_j01__1_3_2_1 NP-LGS n51_a_lob_j01__1_3_2->n51_a_lob_j01__1_3_2_1 n51_a_lob_j01__1_3_2_2 VVN;_Tn_ n51_a_lob_j01__1_3_2->n51_a_lob_j01__1_3_2_2 n51_a_lob_j01__1_3_2_3 PP-NIM n51_a_lob_j01__1_3_2->n51_a_lob_j01__1_3_2_3 n51_a_lob_j01__1_3_2_1->n51_a_lob_j01__1_3_2_1_1 n51_a_lob_j01__1_3_2_2->n51_a_lob_j01__1_3_2_2_1 n51_a_lob_j01__1_3_2_3_1 P-ROLE n51_a_lob_j01__1_3_2_3->n51_a_lob_j01__1_3_2_3_1 n51_a_lob_j01__1_3_2_3_2 NP n51_a_lob_j01__1_3_2_3->n51_a_lob_j01__1_3_2_3_2 n51_a_lob_j01__1_3_2_3_1->n51_a_lob_j01__1_3_2_3_1_1 n51_a_lob_j01__1_3_2_3_2_1 NLYR n51_a_lob_j01__1_3_2_3_2->n51_a_lob_j01__1_3_2_3_2_1 n51_a_lob_j01__1_3_2_3_2_2 IP-PPL n51_a_lob_j01__1_3_2_3_2->n51_a_lob_j01__1_3_2_3_2_2 n51_a_lob_j01__1_3_2_3_2_1_1 NLYR n51_a_lob_j01__1_3_2_3_2_1->n51_a_lob_j01__1_3_2_3_2_1_1 n51_a_lob_j01__1_3_2_3_2_1_2 CONJP n51_a_lob_j01__1_3_2_3_2_1->n51_a_lob_j01__1_3_2_3_2_1_2 n51_a_lob_j01__1_3_2_3_2_1_1_1 N n51_a_lob_j01__1_3_2_3_2_1_1->n51_a_lob_j01__1_3_2_3_2_1_1_1 n51_a_lob_j01__1_3_2_3_2_1_1_1->n51_a_lob_j01__1_3_2_3_2_1_1_1_1 n51_a_lob_j01__1_3_2_3_2_1_2_1 CONJ n51_a_lob_j01__1_3_2_3_2_1_2->n51_a_lob_j01__1_3_2_3_2_1_2_1 n51_a_lob_j01__1_3_2_3_2_1_2_2 NLYR n51_a_lob_j01__1_3_2_3_2_1_2->n51_a_lob_j01__1_3_2_3_2_1_2_2 n51_a_lob_j01__1_3_2_3_2_1_2_1->n51_a_lob_j01__1_3_2_3_2_1_2_1_1 n51_a_lob_j01__1_3_2_3_2_1_2_2_1 N n51_a_lob_j01__1_3_2_3_2_1_2_2->n51_a_lob_j01__1_3_2_3_2_1_2_2_1 n51_a_lob_j01__1_3_2_3_2_1_2_2_1->n51_a_lob_j01__1_3_2_3_2_1_2_2_1_1 n51_a_lob_j01__1_3_2_3_2_2_1 NP-LGS n51_a_lob_j01__1_3_2_3_2_2->n51_a_lob_j01__1_3_2_3_2_2_1 n51_a_lob_j01__1_3_2_3_2_2_2 VVN;_Tn_ n51_a_lob_j01__1_3_2_3_2_2->n51_a_lob_j01__1_3_2_3_2_2_2 n51_a_lob_j01__1_3_2_3_2_2_3 PP-NIM n51_a_lob_j01__1_3_2_3_2_2->n51_a_lob_j01__1_3_2_3_2_2_3 n51_a_lob_j01__1_3_2_3_2_2_1->n51_a_lob_j01__1_3_2_3_2_2_1_1 n51_a_lob_j01__1_3_2_3_2_2_2->n51_a_lob_j01__1_3_2_3_2_2_2_1 n51_a_lob_j01__1_3_2_3_2_2_3_1 P-ROLE n51_a_lob_j01__1_3_2_3_2_2_3->n51_a_lob_j01__1_3_2_3_2_2_3_1 n51_a_lob_j01__1_3_2_3_2_2_3_2 NP n51_a_lob_j01__1_3_2_3_2_2_3->n51_a_lob_j01__1_3_2_3_2_2_3_2 n51_a_lob_j01__1_3_2_3_2_2_3_1->n51_a_lob_j01__1_3_2_3_2_2_3_1_1 n51_a_lob_j01__1_3_2_3_2_2_3_2_1 ADJP n51_a_lob_j01__1_3_2_3_2_2_3_2->n51_a_lob_j01__1_3_2_3_2_2_3_2_1 n51_a_lob_j01__1_3_2_3_2_2_3_2_2 N n51_a_lob_j01__1_3_2_3_2_2_3_2->n51_a_lob_j01__1_3_2_3_2_2_3_2_2 n51_a_lob_j01__1_3_2_3_2_2_3_2_3 NS n51_a_lob_j01__1_3_2_3_2_2_3_2->n51_a_lob_j01__1_3_2_3_2_2_3_2_3 n51_a_lob_j01__1_3_2_3_2_2_3_2_1_1 ADJ n51_a_lob_j01__1_3_2_3_2_2_3_2_1->n51_a_lob_j01__1_3_2_3_2_2_3_2_1_1 n51_a_lob_j01__1_3_2_3_2_2_3_2_1_1->n51_a_lob_j01__1_3_2_3_2_2_3_2_1_1_1 n51_a_lob_j01__1_3_2_3_2_2_3_2_2->n51_a_lob_j01__1_3_2_3_2_2_3_2_2_1 n51_a_lob_j01__1_3_2_3_2_2_3_2_3->n51_a_lob_j01__1_3_2_3_2_2_3_2_3_1 n51_a_lob_j01__1_4->n51_a_lob_j01__1_4_1 
( (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))