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_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] 
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_3 Belonged n120_a_kyoto_2_6 to n120_a_kyoto_2_9 the n120_a_kyoto_2_11 Tenryu-ji n120_a_kyoto_2_13 sect n120_a_kyoto_2_16 until n120_a_kyoto_2_19 1905 n120_a_kyoto_2_21 . n120_a_kyoto_2_1 IP-MAT n120_a_kyoto_2_2 VBD;__ n120_a_kyoto_2_1->n120_a_kyoto_2_2 n120_a_kyoto_2_4 PP-CLR n120_a_kyoto_2_1->n120_a_kyoto_2_4 n120_a_kyoto_2_14 PP-NIM n120_a_kyoto_2_1->n120_a_kyoto_2_14 n120_a_kyoto_2_20 PUNC n120_a_kyoto_2_1->n120_a_kyoto_2_20 n120_a_kyoto_2_2->n120_a_kyoto_2_3 n120_a_kyoto_2_5 P-ROLE n120_a_kyoto_2_4->n120_a_kyoto_2_5 n120_a_kyoto_2_7 NP n120_a_kyoto_2_4->n120_a_kyoto_2_7 n120_a_kyoto_2_5->n120_a_kyoto_2_6 n120_a_kyoto_2_8 D n120_a_kyoto_2_7->n120_a_kyoto_2_8 n120_a_kyoto_2_10 NPR n120_a_kyoto_2_7->n120_a_kyoto_2_10 n120_a_kyoto_2_12 N n120_a_kyoto_2_7->n120_a_kyoto_2_12 n120_a_kyoto_2_8->n120_a_kyoto_2_9 n120_a_kyoto_2_10->n120_a_kyoto_2_11 n120_a_kyoto_2_12->n120_a_kyoto_2_13 n120_a_kyoto_2_15 P-ROLE n120_a_kyoto_2_14->n120_a_kyoto_2_15 n120_a_kyoto_2_17 NP n120_a_kyoto_2_14->n120_a_kyoto_2_17 n120_a_kyoto_2_15->n120_a_kyoto_2_16 n120_a_kyoto_2_18 NPR n120_a_kyoto_2_17->n120_a_kyoto_2_18 n120_a_kyoto_2_18->n120_a_kyoto_2_19 n120_a_kyoto_2_20->n120_a_kyoto_2_21 
( (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))