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,
    ? [R_0121_0001__AFFILIATED,R_0121_0002__EDUCATIONAL,R_0121_0003__INSTITUTIONS,Z_000_121_A_KYOTO_2_1] :
      ( r_0121_0001__Affiliated(R_0121_0001__AFFILIATED)
      & r_0121_0002__Educational(R_0121_0002__EDUCATIONAL)
      & z_000_121_a_kyoto_2_1(Z_000_121_A_KYOTO_2_1)
      & has_nim2(Z_000_121_A_KYOTO_2_1,R_0121_0003__INSTITUTIONS)
      & r_0121_0003__Institutions(R_0121_0003__INSTITUTIONS)
      & has_attrib6(R_0121_0003__INSTITUTIONS,R_0121_0002__EDUCATIONAL)
      & has_attrib3(R_0121_0003__INSTITUTIONS,R_0121_0001__AFFILIATED) ) ).


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))