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 r_0015_0002__was_r_0015_0003__born was born r_0015_0001__He He r_0015_0002__was_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_0002__was_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_0002__was_r_0015_0003__born->r_0015_0019__1420 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_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] 
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_4 He n15_a_kyoto_1_6 was n15_a_kyoto_1_9 * n15_a_kyoto_1_11 born n15_a_kyoto_1_14 in n15_a_kyoto_1_17 Akahama n15_a_kyoto_1_19 , n15_a_kyoto_1_21 Bicchu n15_a_kyoto_1_23 Province n15_a_kyoto_1_25 -LRB- n15_a_kyoto_1_30 present-day n15_a_kyoto_1_32 Soja n15_a_kyoto_1_34 City n15_a_kyoto_1_36 , n15_a_kyoto_1_38 Okayama n15_a_kyoto_1_40 Prefecture n15_a_kyoto_1_42 -RRB- n15_a_kyoto_1_44 , n15_a_kyoto_1_47 in n15_a_kyoto_1_50 1420 n15_a_kyoto_1_52 . n15_a_kyoto_1_1 IP-MAT n15_a_kyoto_1_2 NP-SBJ n15_a_kyoto_1_1->n15_a_kyoto_1_2 n15_a_kyoto_1_5 BED;_cat_VePASS_ n15_a_kyoto_1_1->n15_a_kyoto_1_5 n15_a_kyoto_1_7 IP-PPL-CAT n15_a_kyoto_1_1->n15_a_kyoto_1_7 n15_a_kyoto_1_51 PUNC n15_a_kyoto_1_1->n15_a_kyoto_1_51 n15_a_kyoto_1_3 PRO n15_a_kyoto_1_2->n15_a_kyoto_1_3 n15_a_kyoto_1_3->n15_a_kyoto_1_4 n15_a_kyoto_1_5->n15_a_kyoto_1_6 n15_a_kyoto_1_8 NP-LGS n15_a_kyoto_1_7->n15_a_kyoto_1_8 n15_a_kyoto_1_10 VVN;_Tn_ n15_a_kyoto_1_7->n15_a_kyoto_1_10 n15_a_kyoto_1_12 PP-NIM n15_a_kyoto_1_7->n15_a_kyoto_1_12 n15_a_kyoto_1_43 PUNC n15_a_kyoto_1_7->n15_a_kyoto_1_43 n15_a_kyoto_1_45 PP-NIM n15_a_kyoto_1_7->n15_a_kyoto_1_45 n15_a_kyoto_1_8->n15_a_kyoto_1_9 n15_a_kyoto_1_10->n15_a_kyoto_1_11 n15_a_kyoto_1_13 P-ROLE n15_a_kyoto_1_12->n15_a_kyoto_1_13 n15_a_kyoto_1_15 NP n15_a_kyoto_1_12->n15_a_kyoto_1_15 n15_a_kyoto_1_13->n15_a_kyoto_1_14 n15_a_kyoto_1_16 NPR n15_a_kyoto_1_15->n15_a_kyoto_1_16 n15_a_kyoto_1_18 PUNC n15_a_kyoto_1_15->n15_a_kyoto_1_18 n15_a_kyoto_1_20 NPR n15_a_kyoto_1_15->n15_a_kyoto_1_20 n15_a_kyoto_1_22 NPR n15_a_kyoto_1_15->n15_a_kyoto_1_22 n15_a_kyoto_1_24 PULB n15_a_kyoto_1_15->n15_a_kyoto_1_24 n15_a_kyoto_1_26 IP-PPL n15_a_kyoto_1_15->n15_a_kyoto_1_26 n15_a_kyoto_1_41 PURB n15_a_kyoto_1_15->n15_a_kyoto_1_41 n15_a_kyoto_1_16->n15_a_kyoto_1_17 n15_a_kyoto_1_18->n15_a_kyoto_1_19 n15_a_kyoto_1_20->n15_a_kyoto_1_21 n15_a_kyoto_1_22->n15_a_kyoto_1_23 n15_a_kyoto_1_24->n15_a_kyoto_1_25 n15_a_kyoto_1_27 NP-PRD n15_a_kyoto_1_26->n15_a_kyoto_1_27 n15_a_kyoto_1_28 ADJP n15_a_kyoto_1_27->n15_a_kyoto_1_28 n15_a_kyoto_1_31 NPR n15_a_kyoto_1_27->n15_a_kyoto_1_31 n15_a_kyoto_1_33 NPR n15_a_kyoto_1_27->n15_a_kyoto_1_33 n15_a_kyoto_1_35 PUNC n15_a_kyoto_1_27->n15_a_kyoto_1_35 n15_a_kyoto_1_37 NPR n15_a_kyoto_1_27->n15_a_kyoto_1_37 n15_a_kyoto_1_39 NPR n15_a_kyoto_1_27->n15_a_kyoto_1_39 n15_a_kyoto_1_29 ADJ n15_a_kyoto_1_28->n15_a_kyoto_1_29 n15_a_kyoto_1_29->n15_a_kyoto_1_30 n15_a_kyoto_1_31->n15_a_kyoto_1_32 n15_a_kyoto_1_33->n15_a_kyoto_1_34 n15_a_kyoto_1_35->n15_a_kyoto_1_36 n15_a_kyoto_1_37->n15_a_kyoto_1_38 n15_a_kyoto_1_39->n15_a_kyoto_1_40 n15_a_kyoto_1_41->n15_a_kyoto_1_42 n15_a_kyoto_1_43->n15_a_kyoto_1_44 n15_a_kyoto_1_46 P-ROLE n15_a_kyoto_1_45->n15_a_kyoto_1_46 n15_a_kyoto_1_48 NP n15_a_kyoto_1_45->n15_a_kyoto_1_48 n15_a_kyoto_1_46->n15_a_kyoto_1_47 n15_a_kyoto_1_49 NPR n15_a_kyoto_1_48->n15_a_kyoto_1_49 n15_a_kyoto_1_49->n15_a_kyoto_1_50 n15_a_kyoto_1_51->n15_a_kyoto_1_52 
( (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))