Context                Previous, Next                Top


54_a_kyoto_2
As the background, any Buddhist knows that “all living things have Buddha-nature.”

%3 r_0054_0007__knows knows r_0054_0002__the_r_0054_0003__background the background r_0054_0007__knows->r_0054_0002__the_r_0054_0003__background As [nim] r_0054_0005__any_r_0054_0006__Buddhist any Buddhist r_0054_0007__knows->r_0054_0005__any_r_0054_0006__Buddhist [arg0] r_0054_0010__all_quant all [quant] r_0054_0007__knows->r_0054_0010__all_quant [arg1] r_0054_0008__that_r_0054_0013__have that have r_0054_0010__all_quant->r_0054_0008__that_r_0054_0013__have [scope] r_0054_0012__things things r_0054_0010__all_quant->r_0054_0012__things [restriction] r_0054_0008__that_r_0054_0013__have->r_0054_0012__things [arg0] r_0054_0014__Buddha__hyphen__nature Buddha-nature r_0054_0008__that_r_0054_0013__have->r_0054_0014__Buddha__hyphen__nature [arg1] r_0054_0011__living living r_0054_0012__things->r_0054_0011__living [attrib] 
arc(r_0054_0007__knows, r_0054_0002__the_r_0054_0003__background, r_0054_0001__As_nim5).
arc(r_0054_0007__knows, r_0054_0005__any_r_0054_0006__Buddhist, arg0).
arc(r_0054_0007__knows, r_0054_0010__all_quant, arg1).
arc(r_0054_0008__that_r_0054_0013__have, r_0054_0012__things, arg0).
arc(r_0054_0008__that_r_0054_0013__have, r_0054_0014__Buddha__hyphen__nature, arg1).
arc(r_0054_0010__all_quant, r_0054_0008__that_r_0054_0013__have, scope).
arc(r_0054_0010__all_quant, r_0054_0012__things, restriction).
arc(r_0054_0012__things, r_0054_0011__living, attrib28).


%3 r_0054_0012__things things r_0054_0011__living living r_0054_0012__things->r_0054_0011__living [attrib] r_0054_0010__all_quant all [quant] r_0054_0010__all_quant->r_0054_0012__things [restriction] r_0054_0008__that_r_0054_0013__have that have r_0054_0010__all_quant->r_0054_0008__that_r_0054_0013__have [scope] r_0054_0008__that_r_0054_0013__have->r_0054_0012__things [arg0] r_0054_0014__Buddha__hyphen__nature Buddha-nature r_0054_0008__that_r_0054_0013__have->r_0054_0014__Buddha__hyphen__nature [arg1] r_0054_0007__knows knows r_0054_0007__knows->r_0054_0010__all_quant [arg1] r_0054_0005__any_r_0054_0006__Buddhist any Buddhist r_0054_0007__knows->r_0054_0005__any_r_0054_0006__Buddhist [arg0] r_0054_0002__the_r_0054_0003__background the background r_0054_0007__knows->r_0054_0002__the_r_0054_0003__background As [nim] 
fof(formula,axiom,
    ? [R_0054_0002__THE_R_0054_0003__BACKGROUND,R_0054_0005__ANY_R_0054_0006__BUDDHIST,R_0054_0007__KNOWS] :
      ( r_0054_0002__the_r_0054_0003__background(R_0054_0002__THE_R_0054_0003__BACKGROUND)
      & r_0054_0005__any_r_0054_0006__Buddhist(R_0054_0005__ANY_R_0054_0006__BUDDHIST)
      & r_0054_0007__knows(R_0054_0007__KNOWS)
      & ! [R_0054_0012__THINGS,R_0054_0011__LIVING] :
          ( ( r_0054_0011__living(R_0054_0011__LIVING)
            & r_0054_0012__things(R_0054_0012__THINGS)
            & has_attrib28(R_0054_0012__THINGS,R_0054_0011__LIVING) )
         => ? [R_0054_0014__BUDDHA__HYPHEN__NATURE,R_0054_0008__THAT_R_0054_0013__HAVE] :
              ( r_0054_0014__Buddha__hyphen__nature(R_0054_0014__BUDDHA__HYPHEN__NATURE)
              & r_0054_0008__that_r_0054_0013__have(R_0054_0008__THAT_R_0054_0013__HAVE)
              & has_arg1(R_0054_0008__THAT_R_0054_0013__HAVE,R_0054_0014__BUDDHA__HYPHEN__NATURE)
              & has_arg0(R_0054_0008__THAT_R_0054_0013__HAVE,R_0054_0012__THINGS) ) )
      & has_arg0(R_0054_0007__KNOWS,R_0054_0005__ANY_R_0054_0006__BUDDHIST)
      & has_r_0054_0001__As_nim5(R_0054_0007__KNOWS,R_0054_0002__THE_R_0054_0003__BACKGROUND) ) ).


n54_a_kyoto_2 n54_a_kyoto_2__1_1_1_1 As n54_a_kyoto_2__1_1_2_1_1 the n54_a_kyoto_2__1_1_2_2_1 background n54_a_kyoto_2__1_2_1 , n54_a_kyoto_2__1_3_1_1 any n54_a_kyoto_2__1_3_2_1 Buddhist n54_a_kyoto_2__1_4_1 knows n54_a_kyoto_2__1_5_1_1_1 that n54_a_kyoto_2__1_5_1_2_1 <ldquo> n54_a_kyoto_2__1_5_1_3_1_1 all n54_a_kyoto_2__1_5_1_3_2_1_1 living n54_a_kyoto_2__1_5_1_3_3_1 things n54_a_kyoto_2__1_5_1_4_1 have n54_a_kyoto_2__1_5_1_5_1_1 Buddha-nature n54_a_kyoto_2__1_6_1 . n54_a_kyoto_2__1_7_1 <rdquo> n54_a_kyoto_2__1 IP-MAT n54_a_kyoto_2__1_1 PP-NIM n54_a_kyoto_2__1->n54_a_kyoto_2__1_1 n54_a_kyoto_2__1_2 PUNC n54_a_kyoto_2__1->n54_a_kyoto_2__1_2 n54_a_kyoto_2__1_3 NP-SBJ n54_a_kyoto_2__1->n54_a_kyoto_2__1_3 n54_a_kyoto_2__1_4 VBP;__ n54_a_kyoto_2__1->n54_a_kyoto_2__1_4 n54_a_kyoto_2__1_5 CP-THT-OB1 n54_a_kyoto_2__1->n54_a_kyoto_2__1_5 n54_a_kyoto_2__1_6 PUNC n54_a_kyoto_2__1->n54_a_kyoto_2__1_6 n54_a_kyoto_2__1_7 PURQ n54_a_kyoto_2__1->n54_a_kyoto_2__1_7 n54_a_kyoto_2__1_1_1 P-ROLE n54_a_kyoto_2__1_1->n54_a_kyoto_2__1_1_1 n54_a_kyoto_2__1_1_2 NP n54_a_kyoto_2__1_1->n54_a_kyoto_2__1_1_2 n54_a_kyoto_2__1_1_1->n54_a_kyoto_2__1_1_1_1 n54_a_kyoto_2__1_1_2_1 D n54_a_kyoto_2__1_1_2->n54_a_kyoto_2__1_1_2_1 n54_a_kyoto_2__1_1_2_2 N n54_a_kyoto_2__1_1_2->n54_a_kyoto_2__1_1_2_2 n54_a_kyoto_2__1_1_2_1->n54_a_kyoto_2__1_1_2_1_1 n54_a_kyoto_2__1_1_2_2->n54_a_kyoto_2__1_1_2_2_1 n54_a_kyoto_2__1_2->n54_a_kyoto_2__1_2_1 n54_a_kyoto_2__1_3_1 D n54_a_kyoto_2__1_3->n54_a_kyoto_2__1_3_1 n54_a_kyoto_2__1_3_2 N n54_a_kyoto_2__1_3->n54_a_kyoto_2__1_3_2 n54_a_kyoto_2__1_3_1->n54_a_kyoto_2__1_3_1_1 n54_a_kyoto_2__1_3_2->n54_a_kyoto_2__1_3_2_1 n54_a_kyoto_2__1_4->n54_a_kyoto_2__1_4_1 n54_a_kyoto_2__1_5_1 IP-SUB n54_a_kyoto_2__1_5->n54_a_kyoto_2__1_5_1 n54_a_kyoto_2__1_5_1_1 C n54_a_kyoto_2__1_5_1->n54_a_kyoto_2__1_5_1_1 n54_a_kyoto_2__1_5_1_2 PULQ n54_a_kyoto_2__1_5_1->n54_a_kyoto_2__1_5_1_2 n54_a_kyoto_2__1_5_1_3 NP-SBJ n54_a_kyoto_2__1_5_1->n54_a_kyoto_2__1_5_1_3 n54_a_kyoto_2__1_5_1_4 HVP;_Tn_ n54_a_kyoto_2__1_5_1->n54_a_kyoto_2__1_5_1_4 n54_a_kyoto_2__1_5_1_5 NP-OB1 n54_a_kyoto_2__1_5_1->n54_a_kyoto_2__1_5_1_5 n54_a_kyoto_2__1_5_1_1->n54_a_kyoto_2__1_5_1_1_1 n54_a_kyoto_2__1_5_1_2->n54_a_kyoto_2__1_5_1_2_1 n54_a_kyoto_2__1_5_1_3_1 Q n54_a_kyoto_2__1_5_1_3->n54_a_kyoto_2__1_5_1_3_1 n54_a_kyoto_2__1_5_1_3_2 ADJP n54_a_kyoto_2__1_5_1_3->n54_a_kyoto_2__1_5_1_3_2 n54_a_kyoto_2__1_5_1_3_3 NS n54_a_kyoto_2__1_5_1_3->n54_a_kyoto_2__1_5_1_3_3 n54_a_kyoto_2__1_5_1_3_1->n54_a_kyoto_2__1_5_1_3_1_1 n54_a_kyoto_2__1_5_1_3_2_1 ADJ n54_a_kyoto_2__1_5_1_3_2->n54_a_kyoto_2__1_5_1_3_2_1 n54_a_kyoto_2__1_5_1_3_2_1->n54_a_kyoto_2__1_5_1_3_2_1_1 n54_a_kyoto_2__1_5_1_3_3->n54_a_kyoto_2__1_5_1_3_3_1 n54_a_kyoto_2__1_5_1_4->n54_a_kyoto_2__1_5_1_4_1 n54_a_kyoto_2__1_5_1_5_1 N n54_a_kyoto_2__1_5_1_5->n54_a_kyoto_2__1_5_1_5_1 n54_a_kyoto_2__1_5_1_5_1->n54_a_kyoto_2__1_5_1_5_1_1 n54_a_kyoto_2__1_6->n54_a_kyoto_2__1_6_1 n54_a_kyoto_2__1_7->n54_a_kyoto_2__1_7_1 
( (IP-MAT (PP-NIM (P-ROLE As;{as})
                  (NP (D the;{the})
                      (N background;{background})))
          (PUNC ,)
          (NP-SBJ (D any;{any})
                  (N Buddhist;{buddhist}))
          (VBP;__ knows;{know})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (PULQ <ldquo>)
                              (NP-SBJ (Q all;{all})
                                      (ADJP (ADJ living;{living}))
                                      (NS things;{thing}))
                              (HVP;_Tn_ have;{have})
                              (NP-OB1 (N Buddha_<hyphen>_nature;{buddha_nature}))))
          (PUNC .)
          (PURQ <rdquo>))
  (ID 54_a_kyoto_2;BDS_00002;53))