Context                Previous, Next                Top


121_a_kyoto_2
Affiliated Educational Institutions

%3 r_0121_0003__Institutions Institutions r_0121_0001__Affiliated Affiliated r_0121_0003__Institutions->r_0121_0001__Affiliated [attrib] r_0121_0002__Educational Educational r_0121_0003__Institutions->r_0121_0002__Educational [attrib] z_000_121_a_kyoto_2_1 z_000_121_a_kyoto_2_1->r_0121_0003__Institutions [nim] 
arc(r_0121_0003__Institutions, r_0121_0001__Affiliated, attrib3).
arc(r_0121_0003__Institutions, r_0121_0002__Educational, attrib6).
arc(z_000_121_a_kyoto_2_1, r_0121_0003__Institutions, nim2).


%3 z_000_121_a_kyoto_2_1 r_0121_0003__Institutions Institutions z_000_121_a_kyoto_2_1->r_0121_0003__Institutions [nim] r_0121_0002__Educational Educational r_0121_0003__Institutions->r_0121_0002__Educational [attrib] r_0121_0001__Affiliated Affiliated r_0121_0003__Institutions->r_0121_0001__Affiliated [attrib] 
fof(formula,axiom,
    ? [Z_121_A_KYOTO_2_1,R_121_3_INSTITUTIONS,R_121_1_AFFILIATED,R_121_2_EDUCATIONAL] :
      ( affiliated(R_121_1_AFFILIATED)
      & educational(R_121_2_EDUCATIONAL)
      & z_121_a_kyoto_2_1(Z_121_A_KYOTO_2_1)
      & nim2(Z_121_A_KYOTO_2_1,R_121_3_INSTITUTIONS)
      & institutions(R_121_3_INSTITUTIONS)
      & attrib3(R_121_3_INSTITUTIONS,R_121_1_AFFILIATED)
      & attrib6(R_121_3_INSTITUTIONS,R_121_2_EDUCATIONAL) ) ).


n121_a_kyoto_2 n121_a_kyoto_2__1_1_1_1_1 Affiliated n121_a_kyoto_2__1_1_2_1_1 Educational n121_a_kyoto_2__1_1_3_1 Institutions n121_a_kyoto_2__1 FRAG n121_a_kyoto_2__1_1 NP n121_a_kyoto_2__1->n121_a_kyoto_2__1_1 n121_a_kyoto_2__1_1_1 ADJP n121_a_kyoto_2__1_1->n121_a_kyoto_2__1_1_1 n121_a_kyoto_2__1_1_2 ADJP n121_a_kyoto_2__1_1->n121_a_kyoto_2__1_1_2 n121_a_kyoto_2__1_1_3 NS n121_a_kyoto_2__1_1->n121_a_kyoto_2__1_1_3 n121_a_kyoto_2__1_1_1_1 ADJ n121_a_kyoto_2__1_1_1->n121_a_kyoto_2__1_1_1_1 n121_a_kyoto_2__1_1_1_1->n121_a_kyoto_2__1_1_1_1_1 n121_a_kyoto_2__1_1_2_1 ADJ n121_a_kyoto_2__1_1_2->n121_a_kyoto_2__1_1_2_1 n121_a_kyoto_2__1_1_2_1->n121_a_kyoto_2__1_1_2_1_1 n121_a_kyoto_2__1_1_3->n121_a_kyoto_2__1_1_3_1 
( (FRAG (NP (ADJP (ADJ Affiliated;{affiliated}))
            (ADJP (ADJ Educational;{educational}))
            (NS Institutions;{institution})))
  (ID 121_a_kyoto_2;BDS_00002;120))