Context                Previous, Next                Top


110_a_kyoto_2
Belonged to the Nanzen-ji sect until 1904.

%3 r_0110_0001__Belonged Belonged r_0110_0003__the_r_0110_0004__Nanzen__hyphen__ji_r_0110_0005__sect the Nanzen-ji sect r_0110_0001__Belonged->r_0110_0003__the_r_0110_0004__Nanzen__hyphen__ji_r_0110_0005__sect to [clr] r_0110_0007__1904 1904 r_0110_0001__Belonged->r_0110_0007__1904 until [nim] 
arc(r_0110_0001__Belonged, r_0110_0003__the_r_0110_0004__Nanzen__hyphen__ji_r_0110_0005__sect, r_0110_0002__to_clr7).
arc(r_0110_0001__Belonged, r_0110_0007__1904, r_0110_0006__until_nim17).


%3 r_0110_0001__Belonged Belonged r_0110_0007__1904 1904 r_0110_0001__Belonged->r_0110_0007__1904 until [nim] r_0110_0003__the_r_0110_0004__Nanzen__hyphen__ji_r_0110_0005__sect the Nanzen-ji sect r_0110_0001__Belonged->r_0110_0003__the_r_0110_0004__Nanzen__hyphen__ji_r_0110_0005__sect to [clr] 
fof(formula,axiom,
    ? [R_0110_0003__THE_R_0110_0004__NANZEN__HYPHEN__JI_R_0110_0005__SECT,R_0110_0007__1904,R_0110_0001__BELONGED] :
      ( r_0110_0003__the_r_0110_0004__Nanzen__hyphen__ji_r_0110_0005__sect(R_0110_0003__THE_R_0110_0004__NANZEN__HYPHEN__JI_R_0110_0005__SECT)
      & r_0110_0007__1904(R_0110_0007__1904)
      & r_0110_0001__Belonged(R_0110_0001__BELONGED)
      & has_r_0110_0006__until_nim17(R_0110_0001__BELONGED,R_0110_0007__1904)
      & has_r_0110_0002__to_clr7(R_0110_0001__BELONGED,R_0110_0003__THE_R_0110_0004__NANZEN__HYPHEN__JI_R_0110_0005__SECT) ) ).


n110_a_kyoto_2 n110_a_kyoto_2__1_1_1 Belonged n110_a_kyoto_2__1_2_1_1 to n110_a_kyoto_2__1_2_2_1_1 the n110_a_kyoto_2__1_2_2_2_1 Nanzen-ji n110_a_kyoto_2__1_2_2_3_1 sect n110_a_kyoto_2__1_3_1_1 until n110_a_kyoto_2__1_3_2_1_1 1904 n110_a_kyoto_2__1_4_1 . n110_a_kyoto_2__1 IP-MAT n110_a_kyoto_2__1_1 VBD;__ n110_a_kyoto_2__1->n110_a_kyoto_2__1_1 n110_a_kyoto_2__1_2 PP-CLR n110_a_kyoto_2__1->n110_a_kyoto_2__1_2 n110_a_kyoto_2__1_3 PP-NIM n110_a_kyoto_2__1->n110_a_kyoto_2__1_3 n110_a_kyoto_2__1_4 PUNC n110_a_kyoto_2__1->n110_a_kyoto_2__1_4 n110_a_kyoto_2__1_1->n110_a_kyoto_2__1_1_1 n110_a_kyoto_2__1_2_1 P-ROLE n110_a_kyoto_2__1_2->n110_a_kyoto_2__1_2_1 n110_a_kyoto_2__1_2_2 NP n110_a_kyoto_2__1_2->n110_a_kyoto_2__1_2_2 n110_a_kyoto_2__1_2_1->n110_a_kyoto_2__1_2_1_1 n110_a_kyoto_2__1_2_2_1 D n110_a_kyoto_2__1_2_2->n110_a_kyoto_2__1_2_2_1 n110_a_kyoto_2__1_2_2_2 NPR n110_a_kyoto_2__1_2_2->n110_a_kyoto_2__1_2_2_2 n110_a_kyoto_2__1_2_2_3 N n110_a_kyoto_2__1_2_2->n110_a_kyoto_2__1_2_2_3 n110_a_kyoto_2__1_2_2_1->n110_a_kyoto_2__1_2_2_1_1 n110_a_kyoto_2__1_2_2_2->n110_a_kyoto_2__1_2_2_2_1 n110_a_kyoto_2__1_2_2_3->n110_a_kyoto_2__1_2_2_3_1 n110_a_kyoto_2__1_3_1 P-ROLE n110_a_kyoto_2__1_3->n110_a_kyoto_2__1_3_1 n110_a_kyoto_2__1_3_2 NP n110_a_kyoto_2__1_3->n110_a_kyoto_2__1_3_2 n110_a_kyoto_2__1_3_1->n110_a_kyoto_2__1_3_1_1 n110_a_kyoto_2__1_3_2_1 NPR n110_a_kyoto_2__1_3_2->n110_a_kyoto_2__1_3_2_1 n110_a_kyoto_2__1_3_2_1->n110_a_kyoto_2__1_3_2_1_1 n110_a_kyoto_2__1_4->n110_a_kyoto_2__1_4_1 
( (IP-MAT (VBD;__ Belonged;{belong})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (NPR Nanzen_<hyphen>_ji;{Nanzen_ji})
                      (N sect;{sect})))
          (PP-NIM (P-ROLE until;{until})
                  (NP (NPR 1904)))
          (PUNC .))
  (ID 110_a_kyoto_2;BDS_00002;109))