Context                Previous, Next                Top


105_a_kyoto_2
Belonged to the Tofuku-ji sect until 1880.

%3 r_0105_0001__Belonged Belonged r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect the Tofuku-ji sect r_0105_0001__Belonged->r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect to [clr] r_0105_0007__1880 1880 r_0105_0001__Belonged->r_0105_0007__1880 until [nim] 
arc(r_0105_0001__Belonged, r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect, r_0105_0002__to_clr7).
arc(r_0105_0001__Belonged, r_0105_0007__1880, r_0105_0006__until_nim17).


%3 r_0105_0001__Belonged Belonged r_0105_0007__1880 1880 r_0105_0001__Belonged->r_0105_0007__1880 until [nim] r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect the Tofuku-ji sect r_0105_0001__Belonged->r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect to [clr] 
fof(formula,axiom,
    ? [R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT,R_0105_0007__1880,R_0105_0001__BELONGED] :
      ( r_0105_0003__the_r_0105_0004__Tofuku__hyphen__ji_r_0105_0005__sect(R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT)
      & r_0105_0007__1880(R_0105_0007__1880)
      & r_0105_0001__Belonged(R_0105_0001__BELONGED)
      & has_r_0105_0006__until_nim17(R_0105_0001__BELONGED,R_0105_0007__1880)
      & has_r_0105_0002__to_clr7(R_0105_0001__BELONGED,R_0105_0003__THE_R_0105_0004__TOFUKU__HYPHEN__JI_R_0105_0005__SECT) ) ).


n105_a_kyoto_2 n105_a_kyoto_2__1_1_1 Belonged n105_a_kyoto_2__1_2_1_1 to n105_a_kyoto_2__1_2_2_1_1 the n105_a_kyoto_2__1_2_2_2_1 Tofuku-ji n105_a_kyoto_2__1_2_2_3_1 sect n105_a_kyoto_2__1_3_1_1 until n105_a_kyoto_2__1_3_2_1_1 1880 n105_a_kyoto_2__1_4_1 . n105_a_kyoto_2__1 IP-MAT n105_a_kyoto_2__1_1 VBD;__ n105_a_kyoto_2__1->n105_a_kyoto_2__1_1 n105_a_kyoto_2__1_2 PP-CLR n105_a_kyoto_2__1->n105_a_kyoto_2__1_2 n105_a_kyoto_2__1_3 PP-NIM n105_a_kyoto_2__1->n105_a_kyoto_2__1_3 n105_a_kyoto_2__1_4 PUNC n105_a_kyoto_2__1->n105_a_kyoto_2__1_4 n105_a_kyoto_2__1_1->n105_a_kyoto_2__1_1_1 n105_a_kyoto_2__1_2_1 P-ROLE n105_a_kyoto_2__1_2->n105_a_kyoto_2__1_2_1 n105_a_kyoto_2__1_2_2 NP n105_a_kyoto_2__1_2->n105_a_kyoto_2__1_2_2 n105_a_kyoto_2__1_2_1->n105_a_kyoto_2__1_2_1_1 n105_a_kyoto_2__1_2_2_1 D n105_a_kyoto_2__1_2_2->n105_a_kyoto_2__1_2_2_1 n105_a_kyoto_2__1_2_2_2 NPR n105_a_kyoto_2__1_2_2->n105_a_kyoto_2__1_2_2_2 n105_a_kyoto_2__1_2_2_3 N n105_a_kyoto_2__1_2_2->n105_a_kyoto_2__1_2_2_3 n105_a_kyoto_2__1_2_2_1->n105_a_kyoto_2__1_2_2_1_1 n105_a_kyoto_2__1_2_2_2->n105_a_kyoto_2__1_2_2_2_1 n105_a_kyoto_2__1_2_2_3->n105_a_kyoto_2__1_2_2_3_1 n105_a_kyoto_2__1_3_1 P-ROLE n105_a_kyoto_2__1_3->n105_a_kyoto_2__1_3_1 n105_a_kyoto_2__1_3_2 NP n105_a_kyoto_2__1_3->n105_a_kyoto_2__1_3_2 n105_a_kyoto_2__1_3_1->n105_a_kyoto_2__1_3_1_1 n105_a_kyoto_2__1_3_2_1 NPR n105_a_kyoto_2__1_3_2->n105_a_kyoto_2__1_3_2_1 n105_a_kyoto_2__1_3_2_1->n105_a_kyoto_2__1_3_2_1_1 n105_a_kyoto_2__1_4->n105_a_kyoto_2__1_4_1 
( (IP-MAT (VBD;__ Belonged;{belong})
          (PP-CLR (P-ROLE to;{to})
                  (NP (D the;{the})
                      (NPR Tofuku_<hyphen>_ji;{Tofuku_ji})
                      (N sect;{sect})))
          (PP-NIM (P-ROLE until;{until})
                  (NP (NPR 1880)))
          (PUNC .))
  (ID 105_a_kyoto_2;BDS_00002;104))