Context                Previous, Next                Top


120_a_kyoto_2
Belonged to the Tenryu-ji sect until 1905.

%3 r_0120_0001__Belonged Belonged r_0120_0003__the_r_0120_0004__Tenryu__hyphen__ji_r_0120_0005__sect the Tenryu-ji sect r_0120_0001__Belonged->r_0120_0003__the_r_0120_0004__Tenryu__hyphen__ji_r_0120_0005__sect to [clr] r_0120_0007__1905 1905 r_0120_0001__Belonged->r_0120_0007__1905 until [nim] 
arc(r_0120_0001__Belonged, r_0120_0003__the_r_0120_0004__Tenryu__hyphen__ji_r_0120_0005__sect, r_0120_0002__to_clr7).
arc(r_0120_0001__Belonged, r_0120_0007__1905, r_0120_0006__until_nim17).


%3 r_0120_0001__Belonged Belonged r_0120_0007__1905 1905 r_0120_0001__Belonged->r_0120_0007__1905 until [nim] r_0120_0003__the_r_0120_0004__Tenryu__hyphen__ji_r_0120_0005__sect the Tenryu-ji sect r_0120_0001__Belonged->r_0120_0003__the_r_0120_0004__Tenryu__hyphen__ji_r_0120_0005__sect to [clr] 
fof(formula,axiom,
    ? [R_120_1_BELONGED,R_120_3_THE_TENRYU_HYPHEN_JI_SECT,R_120_7_1905] :
      ( the_Tenryu_hyphen_ji_sect(R_120_3_THE_TENRYU_HYPHEN_JI_SECT)
      & 1905(R_120_7_1905)
      & belonged(R_120_1_BELONGED)
      & to_clr7(R_120_1_BELONGED,R_120_3_THE_TENRYU_HYPHEN_JI_SECT)
      & until_nim17(R_120_1_BELONGED,R_120_7_1905) ) ).


n120_a_kyoto_2 n120_a_kyoto_2__1_1_1 Belonged n120_a_kyoto_2__1_2_1_1 to n120_a_kyoto_2__1_2_2_1_1 the n120_a_kyoto_2__1_2_2_2_1 Tenryu-ji n120_a_kyoto_2__1_2_2_3_1 sect n120_a_kyoto_2__1_3_1_1 until n120_a_kyoto_2__1_3_2_1_1 1905 n120_a_kyoto_2__1_4_1 . n120_a_kyoto_2__1 IP-MAT n120_a_kyoto_2__1_1 VBD;__ n120_a_kyoto_2__1->n120_a_kyoto_2__1_1 n120_a_kyoto_2__1_2 PP-CLR n120_a_kyoto_2__1->n120_a_kyoto_2__1_2 n120_a_kyoto_2__1_3 PP-NIM n120_a_kyoto_2__1->n120_a_kyoto_2__1_3 n120_a_kyoto_2__1_4 PUNC n120_a_kyoto_2__1->n120_a_kyoto_2__1_4 n120_a_kyoto_2__1_1->n120_a_kyoto_2__1_1_1 n120_a_kyoto_2__1_2_1 P-ROLE n120_a_kyoto_2__1_2->n120_a_kyoto_2__1_2_1 n120_a_kyoto_2__1_2_2 NP n120_a_kyoto_2__1_2->n120_a_kyoto_2__1_2_2 n120_a_kyoto_2__1_2_1->n120_a_kyoto_2__1_2_1_1 n120_a_kyoto_2__1_2_2_1 D n120_a_kyoto_2__1_2_2->n120_a_kyoto_2__1_2_2_1 n120_a_kyoto_2__1_2_2_2 NPR n120_a_kyoto_2__1_2_2->n120_a_kyoto_2__1_2_2_2 n120_a_kyoto_2__1_2_2_3 N n120_a_kyoto_2__1_2_2->n120_a_kyoto_2__1_2_2_3 n120_a_kyoto_2__1_2_2_1->n120_a_kyoto_2__1_2_2_1_1 n120_a_kyoto_2__1_2_2_2->n120_a_kyoto_2__1_2_2_2_1 n120_a_kyoto_2__1_2_2_3->n120_a_kyoto_2__1_2_2_3_1 n120_a_kyoto_2__1_3_1 P-ROLE n120_a_kyoto_2__1_3->n120_a_kyoto_2__1_3_1 n120_a_kyoto_2__1_3_2 NP n120_a_kyoto_2__1_3->n120_a_kyoto_2__1_3_2 n120_a_kyoto_2__1_3_1->n120_a_kyoto_2__1_3_1_1 n120_a_kyoto_2__1_3_2_1 NPR n120_a_kyoto_2__1_3_2->n120_a_kyoto_2__1_3_2_1 n120_a_kyoto_2__1_3_2_1->n120_a_kyoto_2__1_3_2_1_1 n120_a_kyoto_2__1_4->n120_a_kyoto_2__1_4_1 
( (IP-MAT (VBD;__ Belonged;{belong})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (NPR Tenryu_<hyphen>_ji;{Tenryu_ji})
                      (N sect;{sect})))
          (PP-NIM (P-ROLE until;{until})
                  (NP (NPR 1905)))
          (PUNC .))
  (ID 120_a_kyoto_2;BDS_00002;119))