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,
    ? [Z_5_A_KYOTO_3_1,R_5_1_DOCTRINE] :
      ( doctrine(R_5_1_DOCTRINE)
      & z_5_a_kyoto_3_1(Z_5_A_KYOTO_3_1)
      & nim2(Z_5_A_KYOTO_3_1,R_5_1_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))