Context                Previous, Next                Top


15_a_kyoto_1
He was born in Akahama, Bicchu Province (present-day Soja City, Okayama Prefecture), in 1420.

%3 r_0015_0002__was was r_0015_0003__born born r_0015_0002__was->r_0015_0003__born [scope] r_0015_0001__He He r_0015_0003__born->r_0015_0001__He [arg1] r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province Akahama Bicchu Province r_0015_0003__born->r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province in [nim] r_0015_0019__1420 1420 r_0015_0003__born->r_0015_0019__1420 in [nim] z_000_15_a_kyoto_1_8 r_0015_0003__born->z_000_15_a_kyoto_1_8 [arg0] r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture Soja City Okayama Prefecture r_0015_0010__present__hyphen__day present-day r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture->r_0015_0010__present__hyphen__day [attrib] z_000_15_a_kyoto_1_26 z_000_15_a_kyoto_1_26->r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province [arg0] z_000_15_a_kyoto_1_26->r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture [prd] 
arc(r_0015_0002__was, r_0015_0003__born, scope).
arc(r_0015_0003__born, r_0015_0001__He, arg1).
arc(r_0015_0003__born, r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province, r_0015_0004__in_nim15).
arc(r_0015_0003__born, r_0015_0019__1420, r_0015_0018__in_nim48).
arc(r_0015_0003__born, z_000_15_a_kyoto_1_8, arg0).
arc(r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture, r_0015_0010__present__hyphen__day, attrib28).
arc(z_000_15_a_kyoto_1_26, r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province, arg0).
arc(z_000_15_a_kyoto_1_26, r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture, prd).


%3 z_000_15_a_kyoto_1_26 r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture Soja City Okayama Prefecture z_000_15_a_kyoto_1_26->r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture [prd] r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province Akahama Bicchu Province z_000_15_a_kyoto_1_26->r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province [arg0] r_0015_0010__present__hyphen__day present-day r_0015_0011__Soja_r_0015_0012__City_r_0015_0014__Okayama_r_0015_0015__Prefecture->r_0015_0010__present__hyphen__day [attrib] r_0015_0002__was_r_0015_0003__born was born r_0015_0002__was_r_0015_0003__born->r_0015_0005__Akahama_r_0015_0007__Bicchu_r_0015_0008__Province in [nim] z_000_15_a_kyoto_1_8 r_0015_0002__was_r_0015_0003__born->z_000_15_a_kyoto_1_8 [arg0] r_0015_0019__1420 1420 r_0015_0002__was_r_0015_0003__born->r_0015_0019__1420 in [nim] r_0015_0001__He He r_0015_0002__was_r_0015_0003__born->r_0015_0001__He [arg1] 
fof(formula,axiom,
    ? [R_15_2_WAS_BORN,Z_15_A_KYOTO_1_8,R_15_1_HE,R_15_19_1420,Z_15_A_KYOTO_1_26,R_15_5_AKAHAMA_BICCHU_PROVINCE,R_15_11_SOJA_CITY_OKAYAMA_PREFECTURE,R_15_10_PRESENT_HYPHEN_DAY] :
      ( he(R_15_1_HE)
      & 1420(R_15_19_1420)
      & akahama_Bicchu_Province(R_15_5_AKAHAMA_BICCHU_PROVINCE)
      & present_hyphen_day(R_15_10_PRESENT_HYPHEN_DAY)
      & was_born(R_15_2_WAS_BORN,Z_15_A_KYOTO_1_8,R_15_1_HE)
      & in_nim15(R_15_2_WAS_BORN,R_15_5_AKAHAMA_BICCHU_PROVINCE)
      & in_nim48(R_15_2_WAS_BORN,R_15_19_1420)
      & z_15_a_kyoto_1_26(Z_15_A_KYOTO_1_26,R_15_5_AKAHAMA_BICCHU_PROVINCE,R_15_11_SOJA_CITY_OKAYAMA_PREFECTURE)
      & soja_City_Okayama_Prefecture(R_15_11_SOJA_CITY_OKAYAMA_PREFECTURE)
      & attrib28(R_15_11_SOJA_CITY_OKAYAMA_PREFECTURE,R_15_10_PRESENT_HYPHEN_DAY) ) ).


n15_a_kyoto_1 n15_a_kyoto_1__1_1_1_1 He n15_a_kyoto_1__1_2_1 was n15_a_kyoto_1__1_3_1_1 * n15_a_kyoto_1__1_3_2_1 born n15_a_kyoto_1__1_3_3_1_1 in n15_a_kyoto_1__1_3_3_2_1_1 Akahama n15_a_kyoto_1__1_3_3_2_2_1 , n15_a_kyoto_1__1_3_3_2_3_1 Bicchu n15_a_kyoto_1__1_3_3_2_4_1 Province n15_a_kyoto_1__1_3_3_2_5_1 -LRB- n15_a_kyoto_1__1_3_3_2_6_1_1_1_1 present-day n15_a_kyoto_1__1_3_3_2_6_1_2_1 Soja n15_a_kyoto_1__1_3_3_2_6_1_3_1 City n15_a_kyoto_1__1_3_3_2_6_1_4_1 , n15_a_kyoto_1__1_3_3_2_6_1_5_1 Okayama n15_a_kyoto_1__1_3_3_2_6_1_6_1 Prefecture n15_a_kyoto_1__1_3_3_2_7_1 -RRB- n15_a_kyoto_1__1_3_4_1 , n15_a_kyoto_1__1_3_5_1_1 in n15_a_kyoto_1__1_3_5_2_1_1 1420 n15_a_kyoto_1__1_4_1 . n15_a_kyoto_1__1 IP-MAT n15_a_kyoto_1__1_1 NP-SBJ n15_a_kyoto_1__1->n15_a_kyoto_1__1_1 n15_a_kyoto_1__1_2 BED;_cat_VePASS_ n15_a_kyoto_1__1->n15_a_kyoto_1__1_2 n15_a_kyoto_1__1_3 IP-PPL-CAT n15_a_kyoto_1__1->n15_a_kyoto_1__1_3 n15_a_kyoto_1__1_4 PUNC n15_a_kyoto_1__1->n15_a_kyoto_1__1_4 n15_a_kyoto_1__1_1_1 PRO n15_a_kyoto_1__1_1->n15_a_kyoto_1__1_1_1 n15_a_kyoto_1__1_1_1->n15_a_kyoto_1__1_1_1_1 n15_a_kyoto_1__1_2->n15_a_kyoto_1__1_2_1 n15_a_kyoto_1__1_3_1 NP-LGS n15_a_kyoto_1__1_3->n15_a_kyoto_1__1_3_1 n15_a_kyoto_1__1_3_2 VVN;_Tn_ n15_a_kyoto_1__1_3->n15_a_kyoto_1__1_3_2 n15_a_kyoto_1__1_3_3 PP-NIM n15_a_kyoto_1__1_3->n15_a_kyoto_1__1_3_3 n15_a_kyoto_1__1_3_4 PUNC n15_a_kyoto_1__1_3->n15_a_kyoto_1__1_3_4 n15_a_kyoto_1__1_3_5 PP-NIM n15_a_kyoto_1__1_3->n15_a_kyoto_1__1_3_5 n15_a_kyoto_1__1_3_1->n15_a_kyoto_1__1_3_1_1 n15_a_kyoto_1__1_3_2->n15_a_kyoto_1__1_3_2_1 n15_a_kyoto_1__1_3_3_1 P-ROLE n15_a_kyoto_1__1_3_3->n15_a_kyoto_1__1_3_3_1 n15_a_kyoto_1__1_3_3_2 NP n15_a_kyoto_1__1_3_3->n15_a_kyoto_1__1_3_3_2 n15_a_kyoto_1__1_3_3_1->n15_a_kyoto_1__1_3_3_1_1 n15_a_kyoto_1__1_3_3_2_1 NPR n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_1 n15_a_kyoto_1__1_3_3_2_2 PUNC n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_2 n15_a_kyoto_1__1_3_3_2_3 NPR n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_3 n15_a_kyoto_1__1_3_3_2_4 NPR n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_4 n15_a_kyoto_1__1_3_3_2_5 PULB n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_5 n15_a_kyoto_1__1_3_3_2_6 IP-PPL n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_6 n15_a_kyoto_1__1_3_3_2_7 PURB n15_a_kyoto_1__1_3_3_2->n15_a_kyoto_1__1_3_3_2_7 n15_a_kyoto_1__1_3_3_2_1->n15_a_kyoto_1__1_3_3_2_1_1 n15_a_kyoto_1__1_3_3_2_2->n15_a_kyoto_1__1_3_3_2_2_1 n15_a_kyoto_1__1_3_3_2_3->n15_a_kyoto_1__1_3_3_2_3_1 n15_a_kyoto_1__1_3_3_2_4->n15_a_kyoto_1__1_3_3_2_4_1 n15_a_kyoto_1__1_3_3_2_5->n15_a_kyoto_1__1_3_3_2_5_1 n15_a_kyoto_1__1_3_3_2_6_1 NP-PRD n15_a_kyoto_1__1_3_3_2_6->n15_a_kyoto_1__1_3_3_2_6_1 n15_a_kyoto_1__1_3_3_2_6_1_1 ADJP n15_a_kyoto_1__1_3_3_2_6_1->n15_a_kyoto_1__1_3_3_2_6_1_1 n15_a_kyoto_1__1_3_3_2_6_1_2 NPR n15_a_kyoto_1__1_3_3_2_6_1->n15_a_kyoto_1__1_3_3_2_6_1_2 n15_a_kyoto_1__1_3_3_2_6_1_3 NPR n15_a_kyoto_1__1_3_3_2_6_1->n15_a_kyoto_1__1_3_3_2_6_1_3 n15_a_kyoto_1__1_3_3_2_6_1_4 PUNC n15_a_kyoto_1__1_3_3_2_6_1->n15_a_kyoto_1__1_3_3_2_6_1_4 n15_a_kyoto_1__1_3_3_2_6_1_5 NPR n15_a_kyoto_1__1_3_3_2_6_1->n15_a_kyoto_1__1_3_3_2_6_1_5 n15_a_kyoto_1__1_3_3_2_6_1_6 NPR n15_a_kyoto_1__1_3_3_2_6_1->n15_a_kyoto_1__1_3_3_2_6_1_6 n15_a_kyoto_1__1_3_3_2_6_1_1_1 ADJ n15_a_kyoto_1__1_3_3_2_6_1_1->n15_a_kyoto_1__1_3_3_2_6_1_1_1 n15_a_kyoto_1__1_3_3_2_6_1_1_1->n15_a_kyoto_1__1_3_3_2_6_1_1_1_1 n15_a_kyoto_1__1_3_3_2_6_1_2->n15_a_kyoto_1__1_3_3_2_6_1_2_1 n15_a_kyoto_1__1_3_3_2_6_1_3->n15_a_kyoto_1__1_3_3_2_6_1_3_1 n15_a_kyoto_1__1_3_3_2_6_1_4->n15_a_kyoto_1__1_3_3_2_6_1_4_1 n15_a_kyoto_1__1_3_3_2_6_1_5->n15_a_kyoto_1__1_3_3_2_6_1_5_1 n15_a_kyoto_1__1_3_3_2_6_1_6->n15_a_kyoto_1__1_3_3_2_6_1_6_1 n15_a_kyoto_1__1_3_3_2_7->n15_a_kyoto_1__1_3_3_2_7_1 n15_a_kyoto_1__1_3_4->n15_a_kyoto_1__1_3_4_1 n15_a_kyoto_1__1_3_5_1 P-ROLE n15_a_kyoto_1__1_3_5->n15_a_kyoto_1__1_3_5_1 n15_a_kyoto_1__1_3_5_2 NP n15_a_kyoto_1__1_3_5->n15_a_kyoto_1__1_3_5_2 n15_a_kyoto_1__1_3_5_1->n15_a_kyoto_1__1_3_5_1_1 n15_a_kyoto_1__1_3_5_2_1 NPR n15_a_kyoto_1__1_3_5_2->n15_a_kyoto_1__1_3_5_2_1 n15_a_kyoto_1__1_3_5_2_1->n15_a_kyoto_1__1_3_5_2_1_1 n15_a_kyoto_1__1_4->n15_a_kyoto_1__1_4_1 
( (IP-MAT (NP-SBJ;{SESSHU} (PRO He;{he}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ born;{bear})
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR Akahama;{Akahama})
                                  (PUNC ,)
                                  (NPR Bicchu;{Bicchu})
                                  (NPR Province;{Province})
                                  (PULB -LRB-)
                                  (IP-PPL (NP-PRD (ADJP (ADJ present_<hyphen>_day;{present_day}))
                                                  (NPR Soja;{Soja})
                                                  (NPR City;{City})
                                                  (PUNC ,)
                                                  (NPR Okayama;{Okayama})
                                                  (NPR Prefecture;{Prefecture})))
                                  (PURB -RRB-)))
                      (PUNC ,)
                      (PP-NIM (P-ROLE in;{in})
                              (NP (NPR 1420))))
          (PUNC .))
  (ID 15_a_kyoto_1;BDS_00001;15))