Context                Previous, Next                Top


63_a_kyoto_2
Kenni-ji is the oldest Zen temple in Japan.

%3 r_0063_0002__is is r_0063_0001__Kenni__hyphen__ji Kenni-ji r_0063_0002__is->r_0063_0001__Kenni__hyphen__ji [arg0] r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple the Zen temple r_0063_0002__is->r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple [prd] r_0063_0004__oldest oldest r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0004__oldest [attrib] r_0063_0008__Japan Japan r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0008__Japan in 
arc(r_0063_0002__is, r_0063_0001__Kenni__hyphen__ji, arg0).
arc(r_0063_0002__is, r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple, prd).
arc(r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple, r_0063_0004__oldest, attrib10).
arc(r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple, r_0063_0008__Japan, r_0063_0007__in).


%3 r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple the Zen temple r_0063_0008__Japan Japan r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0008__Japan in r_0063_0004__oldest oldest r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple->r_0063_0004__oldest [attrib] r_0063_0002__is is r_0063_0002__is->r_0063_0003__the_r_0063_0005__Zen_r_0063_0006__temple [prd] r_0063_0001__Kenni__hyphen__ji Kenni-ji r_0063_0002__is->r_0063_0001__Kenni__hyphen__ji [arg0] 
fof(formula,axiom,
    ? [R_63_2_IS,R_63_1_KENNI_HYPHEN_JI,R_63_3_THE_ZEN_TEMPLE,R_63_4_OLDEST,R_63_8_JAPAN] :
      ( kenni_hyphen_ji(R_63_1_KENNI_HYPHEN_JI)
      & oldest(R_63_4_OLDEST)
      & japan(R_63_8_JAPAN)
      & is(R_63_2_IS,R_63_1_KENNI_HYPHEN_JI,R_63_3_THE_ZEN_TEMPLE)
      & the_Zen_temple(R_63_3_THE_ZEN_TEMPLE)
      & attrib10(R_63_3_THE_ZEN_TEMPLE,R_63_4_OLDEST)
      & in(R_63_3_THE_ZEN_TEMPLE,R_63_8_JAPAN) ) ).


n63_a_kyoto_2 n63_a_kyoto_2__1_1_1_1 Kenni-ji n63_a_kyoto_2__1_2_1 is n63_a_kyoto_2__1_3_1_1 the n63_a_kyoto_2__1_3_2_1_1 oldest n63_a_kyoto_2__1_3_3_1 Zen n63_a_kyoto_2__1_3_4_1 temple n63_a_kyoto_2__1_3_5_1_1 in n63_a_kyoto_2__1_3_5_2_1_1 Japan n63_a_kyoto_2__1_4_1 . n63_a_kyoto_2__1 IP-MAT n63_a_kyoto_2__1_1 NP-SBJ n63_a_kyoto_2__1->n63_a_kyoto_2__1_1 n63_a_kyoto_2__1_2 BEP;_Ln_ n63_a_kyoto_2__1->n63_a_kyoto_2__1_2 n63_a_kyoto_2__1_3 NP-PRD n63_a_kyoto_2__1->n63_a_kyoto_2__1_3 n63_a_kyoto_2__1_4 PUNC n63_a_kyoto_2__1->n63_a_kyoto_2__1_4 n63_a_kyoto_2__1_1_1 NPR n63_a_kyoto_2__1_1->n63_a_kyoto_2__1_1_1 n63_a_kyoto_2__1_1_1->n63_a_kyoto_2__1_1_1_1 n63_a_kyoto_2__1_2->n63_a_kyoto_2__1_2_1 n63_a_kyoto_2__1_3_1 D n63_a_kyoto_2__1_3->n63_a_kyoto_2__1_3_1 n63_a_kyoto_2__1_3_2 ADJP n63_a_kyoto_2__1_3->n63_a_kyoto_2__1_3_2 n63_a_kyoto_2__1_3_3 NPR n63_a_kyoto_2__1_3->n63_a_kyoto_2__1_3_3 n63_a_kyoto_2__1_3_4 N n63_a_kyoto_2__1_3->n63_a_kyoto_2__1_3_4 n63_a_kyoto_2__1_3_5 PP n63_a_kyoto_2__1_3->n63_a_kyoto_2__1_3_5 n63_a_kyoto_2__1_3_1->n63_a_kyoto_2__1_3_1_1 n63_a_kyoto_2__1_3_2_1 ADJS n63_a_kyoto_2__1_3_2->n63_a_kyoto_2__1_3_2_1 n63_a_kyoto_2__1_3_2_1->n63_a_kyoto_2__1_3_2_1_1 n63_a_kyoto_2__1_3_3->n63_a_kyoto_2__1_3_3_1 n63_a_kyoto_2__1_3_4->n63_a_kyoto_2__1_3_4_1 n63_a_kyoto_2__1_3_5_1 P-ROLE n63_a_kyoto_2__1_3_5->n63_a_kyoto_2__1_3_5_1 n63_a_kyoto_2__1_3_5_2 NP n63_a_kyoto_2__1_3_5->n63_a_kyoto_2__1_3_5_2 n63_a_kyoto_2__1_3_5_1->n63_a_kyoto_2__1_3_5_1_1 n63_a_kyoto_2__1_3_5_2_1 NPR n63_a_kyoto_2__1_3_5_2->n63_a_kyoto_2__1_3_5_2_1 n63_a_kyoto_2__1_3_5_2_1->n63_a_kyoto_2__1_3_5_2_1_1 n63_a_kyoto_2__1_4->n63_a_kyoto_2__1_4_1 
( (IP-MAT (NP-SBJ (NPR Kenni_<hyphen>_ji;{Kenni_ji}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D the;{the})
                  (ADJP (ADJS oldest;{old}))
                  (NPR Zen;{Zen})
                  (N temple;{temple})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Japan;{Japan}))))
          (PUNC .))
  (ID 63_a_kyoto_2;BDS_00002;62))