Context                Previous, Next                Top


91_a_lob_j01
Fuse 20 g of pure niobium pentoxide with 72 g of potassium carbonate in a platinum dish.

%3 r_0091_0001__Fuse Fuse r_0091_0002__20_r_0091_0003__g 20 g r_0091_0001__Fuse->r_0091_0002__20_r_0091_0003__g [arg1] r_0091_0009__72_r_0091_0010__g 72 g r_0091_0001__Fuse->r_0091_0009__72_r_0091_0010__g with [nim] r_0091_0015__a_r_0091_0017__dish a dish r_0091_0001__Fuse->r_0091_0015__a_r_0091_0017__dish in [nim] z_000_91_a_lob_j01_1 r_0091_0001__Fuse->z_000_91_a_lob_j01_1 [arg0] r_0091_0007__pentoxide pentoxide r_0091_0002__20_r_0091_0003__g->r_0091_0007__pentoxide of r_0091_0013__carbonate carbonate r_0091_0009__72_r_0091_0010__g->r_0091_0013__carbonate of r_0091_0016__platinum platinum r_0091_0015__a_r_0091_0017__dish->r_0091_0016__platinum [attrib] r_0091_0005__pure pure r_0091_0007__pentoxide->r_0091_0005__pure [attrib] r_0091_0006__niobium niobium r_0091_0007__pentoxide->r_0091_0006__niobium [attrib] r_0091_0012__potassium potassium r_0091_0013__carbonate->r_0091_0012__potassium [attrib] 
arc(r_0091_0001__Fuse, r_0091_0002__20_r_0091_0003__g, arg1).
arc(r_0091_0001__Fuse, r_0091_0009__72_r_0091_0010__g, r_0091_0008__with_nim24).
arc(r_0091_0001__Fuse, r_0091_0015__a_r_0091_0017__dish, r_0091_0014__in_nim41).
arc(r_0091_0001__Fuse, z_000_91_a_lob_j01_1, arg0).
arc(r_0091_0002__20_r_0091_0003__g, r_0091_0007__pentoxide, r_0091_0004__of).
arc(r_0091_0007__pentoxide, r_0091_0005__pure, attrib13).
arc(r_0091_0007__pentoxide, r_0091_0006__niobium, attrib16).
arc(r_0091_0009__72_r_0091_0010__g, r_0091_0013__carbonate, r_0091_0011__of).
arc(r_0091_0013__carbonate, r_0091_0012__potassium, attrib33).
arc(r_0091_0015__a_r_0091_0017__dish, r_0091_0016__platinum, attrib44).


%3 r_0091_0015__a_r_0091_0017__dish a dish r_0091_0016__platinum platinum r_0091_0015__a_r_0091_0017__dish->r_0091_0016__platinum [attrib] r_0091_0013__carbonate carbonate r_0091_0012__potassium potassium r_0091_0013__carbonate->r_0091_0012__potassium [attrib] r_0091_0009__72_r_0091_0010__g 72 g r_0091_0009__72_r_0091_0010__g->r_0091_0013__carbonate of r_0091_0007__pentoxide pentoxide r_0091_0006__niobium niobium r_0091_0007__pentoxide->r_0091_0006__niobium [attrib] r_0091_0005__pure pure r_0091_0007__pentoxide->r_0091_0005__pure [attrib] r_0091_0002__20_r_0091_0003__g 20 g r_0091_0002__20_r_0091_0003__g->r_0091_0007__pentoxide of r_0091_0001__Fuse Fuse r_0091_0001__Fuse->r_0091_0015__a_r_0091_0017__dish in [nim] r_0091_0001__Fuse->r_0091_0009__72_r_0091_0010__g with [nim] r_0091_0001__Fuse->r_0091_0002__20_r_0091_0003__g [arg1] z_000_91_a_lob_j01_1 r_0091_0001__Fuse->z_000_91_a_lob_j01_1 [arg0] 
fof(formula,axiom,
    ? [R_91_1_FUSE,Z_91_A_LOB_J01_1,R_91_2_20_G,R_91_7_PENTOXIDE,R_91_5_PURE,R_91_6_NIOBIUM,R_91_9_72_G,R_91_13_CARBONATE,R_91_12_POTASSIUM,R_91_15_A_DISH,R_91_16_PLATINUM] :
      ( pure(R_91_5_PURE)
      & niobium(R_91_6_NIOBIUM)
      & potassium(R_91_12_POTASSIUM)
      & platinum(R_91_16_PLATINUM)
      & fuse(R_91_1_FUSE,Z_91_A_LOB_J01_1,R_91_2_20_G)
      & 20_g(R_91_2_20_G)
      & of(R_91_2_20_G,R_91_7_PENTOXIDE)
      & pentoxide(R_91_7_PENTOXIDE)
      & attrib13(R_91_7_PENTOXIDE,R_91_5_PURE)
      & attrib16(R_91_7_PENTOXIDE,R_91_6_NIOBIUM)
      & with_nim24(R_91_1_FUSE,R_91_9_72_G)
      & 72_g(R_91_9_72_G)
      & of(R_91_9_72_G,R_91_13_CARBONATE)
      & carbonate(R_91_13_CARBONATE)
      & attrib33(R_91_13_CARBONATE,R_91_12_POTASSIUM)
      & in_nim41(R_91_1_FUSE,R_91_15_A_DISH)
      & a_dish(R_91_15_A_DISH)
      & attrib44(R_91_15_A_DISH,R_91_16_PLATINUM) ) ).


n91_a_lob_j01 n91_a_lob_j01__1_1_1 Fuse n91_a_lob_j01__1_2_1_1 20 n91_a_lob_j01__1_2_2_1 g n91_a_lob_j01__1_2_3_1_1 of n91_a_lob_j01__1_2_3_2_1_1_1 pure n91_a_lob_j01__1_2_3_2_2_1_1 niobium n91_a_lob_j01__1_2_3_2_3_1 pentoxide n91_a_lob_j01__1_3_1_1 with n91_a_lob_j01__1_3_2_1_1 72 n91_a_lob_j01__1_3_2_2_1 g n91_a_lob_j01__1_3_2_3_1_1 of n91_a_lob_j01__1_3_2_3_2_1_1_1 potassium n91_a_lob_j01__1_3_2_3_2_2_1 carbonate n91_a_lob_j01__1_4_1_1 in n91_a_lob_j01__1_4_2_1_1 a n91_a_lob_j01__1_4_2_2_1_1 platinum n91_a_lob_j01__1_4_2_3_1 dish n91_a_lob_j01__1_5_1 . n91_a_lob_j01__1 IP-IMP n91_a_lob_j01__1_1 VB;__ n91_a_lob_j01__1->n91_a_lob_j01__1_1 n91_a_lob_j01__1_2 NP-OB1 n91_a_lob_j01__1->n91_a_lob_j01__1_2 n91_a_lob_j01__1_3 PP-NIM n91_a_lob_j01__1->n91_a_lob_j01__1_3 n91_a_lob_j01__1_4 PP-NIM n91_a_lob_j01__1->n91_a_lob_j01__1_4 n91_a_lob_j01__1_5 PUNC n91_a_lob_j01__1->n91_a_lob_j01__1_5 n91_a_lob_j01__1_1->n91_a_lob_j01__1_1_1 n91_a_lob_j01__1_2_1 NUM n91_a_lob_j01__1_2->n91_a_lob_j01__1_2_1 n91_a_lob_j01__1_2_2 FO n91_a_lob_j01__1_2->n91_a_lob_j01__1_2_2 n91_a_lob_j01__1_2_3 PP n91_a_lob_j01__1_2->n91_a_lob_j01__1_2_3 n91_a_lob_j01__1_2_1->n91_a_lob_j01__1_2_1_1 n91_a_lob_j01__1_2_2->n91_a_lob_j01__1_2_2_1 n91_a_lob_j01__1_2_3_1 P-ROLE n91_a_lob_j01__1_2_3->n91_a_lob_j01__1_2_3_1 n91_a_lob_j01__1_2_3_2 NP n91_a_lob_j01__1_2_3->n91_a_lob_j01__1_2_3_2 n91_a_lob_j01__1_2_3_1->n91_a_lob_j01__1_2_3_1_1 n91_a_lob_j01__1_2_3_2_1 ADJP n91_a_lob_j01__1_2_3_2->n91_a_lob_j01__1_2_3_2_1 n91_a_lob_j01__1_2_3_2_2 ADJP n91_a_lob_j01__1_2_3_2->n91_a_lob_j01__1_2_3_2_2 n91_a_lob_j01__1_2_3_2_3 N n91_a_lob_j01__1_2_3_2->n91_a_lob_j01__1_2_3_2_3 n91_a_lob_j01__1_2_3_2_1_1 ADJ n91_a_lob_j01__1_2_3_2_1->n91_a_lob_j01__1_2_3_2_1_1 n91_a_lob_j01__1_2_3_2_1_1->n91_a_lob_j01__1_2_3_2_1_1_1 n91_a_lob_j01__1_2_3_2_2_1 ADJ n91_a_lob_j01__1_2_3_2_2->n91_a_lob_j01__1_2_3_2_2_1 n91_a_lob_j01__1_2_3_2_2_1->n91_a_lob_j01__1_2_3_2_2_1_1 n91_a_lob_j01__1_2_3_2_3->n91_a_lob_j01__1_2_3_2_3_1 n91_a_lob_j01__1_3_1 P-ROLE n91_a_lob_j01__1_3->n91_a_lob_j01__1_3_1 n91_a_lob_j01__1_3_2 NP n91_a_lob_j01__1_3->n91_a_lob_j01__1_3_2 n91_a_lob_j01__1_3_1->n91_a_lob_j01__1_3_1_1 n91_a_lob_j01__1_3_2_1 NUM n91_a_lob_j01__1_3_2->n91_a_lob_j01__1_3_2_1 n91_a_lob_j01__1_3_2_2 FO n91_a_lob_j01__1_3_2->n91_a_lob_j01__1_3_2_2 n91_a_lob_j01__1_3_2_3 PP n91_a_lob_j01__1_3_2->n91_a_lob_j01__1_3_2_3 n91_a_lob_j01__1_3_2_1->n91_a_lob_j01__1_3_2_1_1 n91_a_lob_j01__1_3_2_2->n91_a_lob_j01__1_3_2_2_1 n91_a_lob_j01__1_3_2_3_1 P-ROLE n91_a_lob_j01__1_3_2_3->n91_a_lob_j01__1_3_2_3_1 n91_a_lob_j01__1_3_2_3_2 NP n91_a_lob_j01__1_3_2_3->n91_a_lob_j01__1_3_2_3_2 n91_a_lob_j01__1_3_2_3_1->n91_a_lob_j01__1_3_2_3_1_1 n91_a_lob_j01__1_3_2_3_2_1 ADJP n91_a_lob_j01__1_3_2_3_2->n91_a_lob_j01__1_3_2_3_2_1 n91_a_lob_j01__1_3_2_3_2_2 N n91_a_lob_j01__1_3_2_3_2->n91_a_lob_j01__1_3_2_3_2_2 n91_a_lob_j01__1_3_2_3_2_1_1 ADJ n91_a_lob_j01__1_3_2_3_2_1->n91_a_lob_j01__1_3_2_3_2_1_1 n91_a_lob_j01__1_3_2_3_2_1_1->n91_a_lob_j01__1_3_2_3_2_1_1_1 n91_a_lob_j01__1_3_2_3_2_2->n91_a_lob_j01__1_3_2_3_2_2_1 n91_a_lob_j01__1_4_1 P-ROLE n91_a_lob_j01__1_4->n91_a_lob_j01__1_4_1 n91_a_lob_j01__1_4_2 NP n91_a_lob_j01__1_4->n91_a_lob_j01__1_4_2 n91_a_lob_j01__1_4_1->n91_a_lob_j01__1_4_1_1 n91_a_lob_j01__1_4_2_1 D n91_a_lob_j01__1_4_2->n91_a_lob_j01__1_4_2_1 n91_a_lob_j01__1_4_2_2 ADJP n91_a_lob_j01__1_4_2->n91_a_lob_j01__1_4_2_2 n91_a_lob_j01__1_4_2_3 N n91_a_lob_j01__1_4_2->n91_a_lob_j01__1_4_2_3 n91_a_lob_j01__1_4_2_1->n91_a_lob_j01__1_4_2_1_1 n91_a_lob_j01__1_4_2_2_1 ADJ n91_a_lob_j01__1_4_2_2->n91_a_lob_j01__1_4_2_2_1 n91_a_lob_j01__1_4_2_2_1->n91_a_lob_j01__1_4_2_2_1_1 n91_a_lob_j01__1_4_2_3->n91_a_lob_j01__1_4_2_3_1 n91_a_lob_j01__1_5->n91_a_lob_j01__1_5_1 
( (IP-IMP (VB;__ Fuse;{fuse})
          (NP-OB1 (NUM 20)
                  (FO g)
                  (PP (P-ROLE of;{of})
                      (NP (ADJP (ADJ pure;{pure}))
                          (ADJP (ADJ niobium;{niobium}))
                          (N pentoxide;{pentoxide}))))
          (PP-NIM (P-ROLE with;{with})
                  (NP (NUM 72)
                      (FO g)
                      (PP (P-ROLE of;{of})
                          (NP (ADJP (ADJ potassium;{potassium}))
                              (N carbonate;{carbonate})))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D a;{a})
                      (ADJP (ADJ platinum;{platinum}))
                      (N dish;{dish})))
          (PUNC .))
  (ID 91_a_lob_j01))