Context                Previous, Next                Top


5_a_kyoto_3
Doctrine

%3 z_000_5_a_kyoto_3_1 r_0005_0001__Doctrine Doctrine z_000_5_a_kyoto_3_1->r_0005_0001__Doctrine [nim] 
arc(z_000_5_a_kyoto_3_1, r_0005_0001__Doctrine, nim2).


%3 z_000_5_a_kyoto_3_1 r_0005_0001__Doctrine Doctrine z_000_5_a_kyoto_3_1->r_0005_0001__Doctrine [nim] 
fof(formula,axiom,
    ? [R_0005_0001__DOCTRINE,Z_000_5_A_KYOTO_3_1] :
      ( r_0005_0001__Doctrine(R_0005_0001__DOCTRINE)
      & z_000_5_a_kyoto_3_1(Z_000_5_A_KYOTO_3_1)
      & has_nim2(Z_000_5_A_KYOTO_3_1,R_0005_0001__DOCTRINE) ) ).


n5_a_kyoto_3 n5_a_kyoto_3__1_1_1_1 Doctrine n5_a_kyoto_3__1 FRAG n5_a_kyoto_3__1_1 NP n5_a_kyoto_3__1->n5_a_kyoto_3__1_1 n5_a_kyoto_3__1_1_1 N n5_a_kyoto_3__1_1->n5_a_kyoto_3__1_1_1 n5_a_kyoto_3__1_1_1->n5_a_kyoto_3__1_1_1_1 
( (FRAG (NP (N Doctrine;{doctrine})))
  (ID 5_a_kyoto_3;BDS_00003;5))