Context                Previous, Next                Top


35_a_kyoto_1
Deification

n35_a_kyoto_1 n35_a_kyoto_1__1_1_1 Deification n35_a_kyoto_1__1 NP n35_a_kyoto_1__1_1 N n35_a_kyoto_1__1->n35_a_kyoto_1__1_1 n35_a_kyoto_1__1_1->n35_a_kyoto_1__1_1_1 
( (NP (N Deification;{deification}))
  (ID 35_a_kyoto_1;BDS_00001;35))


%3 z_0035_5004 r_0035_0001__Deification Deification z_0035_5004->r_0035_0001__Deification 
arc(z_0035_5004,r_0035_0001__Deification,z_0035_5002).


%3 z_0035_5004 r_0035_0001__Deification Deification z_0035_5004->r_0035_0001__Deification 
fof(formula,axiom,
    ? [R_0035_0001__DEIFICATION,Z_0035_5004] :
      ( r_0035_0001__Deification(R_0035_0001__DEIFICATION)
      & z_0035_5004(Z_0035_5004)
      & has_z_0035_5002(Z_0035_5004,R_0035_0001__DEIFICATION) ) ).