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__1_1_1_1 Hanazono n122_a_kyoto_2__1_1_2_1 University n122_a_kyoto_2__1 FRAG n122_a_kyoto_2__1_1 NP n122_a_kyoto_2__1->n122_a_kyoto_2__1_1 n122_a_kyoto_2__1_1_1 NPR n122_a_kyoto_2__1_1->n122_a_kyoto_2__1_1_1 n122_a_kyoto_2__1_1_2 NPR n122_a_kyoto_2__1_1->n122_a_kyoto_2__1_1_2 n122_a_kyoto_2__1_1_1->n122_a_kyoto_2__1_1_1_1 n122_a_kyoto_2__1_1_2->n122_a_kyoto_2__1_1_2_1 
( (FRAG (NP (NPR Hanazono;{Hanazono})
            (NPR University;{University})))
  (ID 122_a_kyoto_2;BDS_00002;121))