Context                Previous, Next                Top


52_a_kyoto_2
“Does a dog have buddha-nature?”

%3 r_0052_0002__Does_r_0052_0005__have Does have r_0052_0003__a_r_0052_0004__dog a dog r_0052_0002__Does_r_0052_0005__have->r_0052_0003__a_r_0052_0004__dog [arg0] r_0052_0006__buddha__hyphen__nature buddha-nature r_0052_0002__Does_r_0052_0005__have->r_0052_0006__buddha__hyphen__nature [arg1] 
arc(r_0052_0002__Does_r_0052_0005__have, r_0052_0003__a_r_0052_0004__dog, arg0).
arc(r_0052_0002__Does_r_0052_0005__have, r_0052_0006__buddha__hyphen__nature, arg1).


%3 r_0052_0002__Does_r_0052_0005__have Does have r_0052_0006__buddha__hyphen__nature buddha-nature r_0052_0002__Does_r_0052_0005__have->r_0052_0006__buddha__hyphen__nature [arg1] r_0052_0003__a_r_0052_0004__dog a dog r_0052_0002__Does_r_0052_0005__have->r_0052_0003__a_r_0052_0004__dog [arg0] 
fof(formula,axiom,
    ? [R_52_2_DOES_HAVE,R_52_3_A_DOG,R_52_6_BUDDHA_HYPHEN_NATURE] :
      ( a_dog(R_52_3_A_DOG)
      & buddha_hyphen_nature(R_52_6_BUDDHA_HYPHEN_NATURE)
      & does_have(R_52_2_DOES_HAVE,R_52_3_A_DOG,R_52_6_BUDDHA_HYPHEN_NATURE) ) ).


n52_a_kyoto_2 n52_a_kyoto_2__1_1_1 <ldquo> n52_a_kyoto_2__1_2_1_1 Does n52_a_kyoto_2__1_2_2_1_1 a n52_a_kyoto_2__1_2_2_2_1 dog n52_a_kyoto_2__1_2_3_1 have n52_a_kyoto_2__1_2_4_1_1 buddha-nature n52_a_kyoto_2__1_3_1 ? n52_a_kyoto_2__1_4_1 <rdquo> n52_a_kyoto_2__1 CP-QUE-MAT n52_a_kyoto_2__1_1 PULQ n52_a_kyoto_2__1->n52_a_kyoto_2__1_1 n52_a_kyoto_2__1_2 IP-SUB n52_a_kyoto_2__1->n52_a_kyoto_2__1_2 n52_a_kyoto_2__1_3 PUNC n52_a_kyoto_2__1->n52_a_kyoto_2__1_3 n52_a_kyoto_2__1_4 PURQ n52_a_kyoto_2__1->n52_a_kyoto_2__1_4 n52_a_kyoto_2__1_1->n52_a_kyoto_2__1_1_1 n52_a_kyoto_2__1_2_1 DOP n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_1 n52_a_kyoto_2__1_2_2 NP-SBJ n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_2 n52_a_kyoto_2__1_2_3 HV;_Tn_ n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_3 n52_a_kyoto_2__1_2_4 NP-OB1 n52_a_kyoto_2__1_2->n52_a_kyoto_2__1_2_4 n52_a_kyoto_2__1_2_1->n52_a_kyoto_2__1_2_1_1 n52_a_kyoto_2__1_2_2_1 D n52_a_kyoto_2__1_2_2->n52_a_kyoto_2__1_2_2_1 n52_a_kyoto_2__1_2_2_2 N n52_a_kyoto_2__1_2_2->n52_a_kyoto_2__1_2_2_2 n52_a_kyoto_2__1_2_2_1->n52_a_kyoto_2__1_2_2_1_1 n52_a_kyoto_2__1_2_2_2->n52_a_kyoto_2__1_2_2_2_1 n52_a_kyoto_2__1_2_3->n52_a_kyoto_2__1_2_3_1 n52_a_kyoto_2__1_2_4_1 N n52_a_kyoto_2__1_2_4->n52_a_kyoto_2__1_2_4_1 n52_a_kyoto_2__1_2_4_1->n52_a_kyoto_2__1_2_4_1_1 n52_a_kyoto_2__1_3->n52_a_kyoto_2__1_3_1 n52_a_kyoto_2__1_4->n52_a_kyoto_2__1_4_1 
( (CP-QUE-MAT (PULQ <ldquo>)
              (IP-SUB (DOP Does;{do})
                      (NP-SBJ (D a;{a})
                              (N dog;{dog}))
                      (HV;_Tn_ have;{have})
                      (NP-OB1 (N buddha_<hyphen>_nature;{buddha_nature})))
              (PUNC ?)
              (PURQ <rdquo>))
  (ID 52_a_kyoto_2;BDS_00002;52))