Context                Previous, Next                Top


122_a_kyoto_2
Hanazono University

%3 z_000_122_a_kyoto_2_1 r_0122_0001__Hanazono_r_0122_0002__University Hanazono University z_000_122_a_kyoto_2_1->r_0122_0001__Hanazono_r_0122_0002__University [nim] 
arc(z_000_122_a_kyoto_2_1, r_0122_0001__Hanazono_r_0122_0002__University, nim2).


%3 z_000_122_a_kyoto_2_1 r_0122_0001__Hanazono_r_0122_0002__University Hanazono University z_000_122_a_kyoto_2_1->r_0122_0001__Hanazono_r_0122_0002__University [nim] 
fof(formula,axiom,
    ? [Z_122_A_KYOTO_2_1,R_122_1_HANAZONO_UNIVERSITY] :
      ( hanazono_University(R_122_1_HANAZONO_UNIVERSITY)
      & z_122_a_kyoto_2_1(Z_122_A_KYOTO_2_1)
      & nim2(Z_122_A_KYOTO_2_1,R_122_1_HANAZONO_UNIVERSITY) ) ).


n122_a_kyoto_2 n122_a_kyoto_2_4 Hanazono n122_a_kyoto_2_6 University n122_a_kyoto_2_1 FRAG n122_a_kyoto_2_2 NP n122_a_kyoto_2_1->n122_a_kyoto_2_2 n122_a_kyoto_2_3 NPR n122_a_kyoto_2_2->n122_a_kyoto_2_3 n122_a_kyoto_2_5 NPR n122_a_kyoto_2_2->n122_a_kyoto_2_5 n122_a_kyoto_2_3->n122_a_kyoto_2_4 n122_a_kyoto_2_5->n122_a_kyoto_2_6 
( (FRAG (NP (NPR Hanazono;{Hanazono})
            (NPR University;{University})))
  (ID 122_a_kyoto_2;BDS_00002;121))