Context                Previous, Next                Top


31_a_kyoto_2
Enlightenment in Zen means that all living things realize the inherent buddha nature they possess.

%3 r_0031_0001__Enlightenment Enlightenment r_0031_0003__Zen Zen r_0031_0001__Enlightenment->r_0031_0003__Zen in r_0031_0004__means means r_0031_0004__means->r_0031_0001__Enlightenment [arg0] r_0031_0006__all_quant all [quant] r_0031_0004__means->r_0031_0006__all_quant [arg1] r_0031_0005__that_r_0031_0009__realize that realize r_0031_0006__all_quant->r_0031_0005__that_r_0031_0009__realize [scope] r_0031_0007__living_r_0031_0008__things living things r_0031_0006__all_quant->r_0031_0007__living_r_0031_0008__things [restriction] r_0031_0005__that_r_0031_0009__realize->r_0031_0007__living_r_0031_0008__things [arg0] r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature the buddha nature r_0031_0005__that_r_0031_0009__realize->r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature [arg1] r_0031_0011__inherent inherent r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature->r_0031_0011__inherent [attrib] r_0031_0015__possess possess r_0031_0015__possess->r_0031_0007__living_r_0031_0008__things [arg0] r_0031_0015__possess->r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature [arg1] 
arc(r_0031_0001__Enlightenment, r_0031_0003__Zen, r_0031_0002__in).
arc(r_0031_0004__means, r_0031_0001__Enlightenment, arg0).
arc(r_0031_0004__means, r_0031_0006__all_quant, arg1).
arc(r_0031_0005__that_r_0031_0009__realize, r_0031_0007__living_r_0031_0008__things, arg0).
arc(r_0031_0005__that_r_0031_0009__realize, r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature, arg1).
arc(r_0031_0006__all_quant, r_0031_0005__that_r_0031_0009__realize, scope).
arc(r_0031_0006__all_quant, r_0031_0007__living_r_0031_0008__things, restriction).
arc(r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature, r_0031_0011__inherent, attrib29).
arc(r_0031_0015__possess, r_0031_0007__living_r_0031_0008__things, arg0).
arc(r_0031_0015__possess, r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature, arg1).


%3 r_0031_0015__possess possess r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature the buddha nature r_0031_0015__possess->r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature [arg1] r_0031_0007__living_r_0031_0008__things living things r_0031_0015__possess->r_0031_0007__living_r_0031_0008__things [arg0] r_0031_0011__inherent inherent r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature->r_0031_0011__inherent [attrib] r_0031_0006__all_quant all [quant] r_0031_0006__all_quant->r_0031_0015__possess [restriction] r_0031_0005__that_r_0031_0009__realize that realize r_0031_0006__all_quant->r_0031_0005__that_r_0031_0009__realize [scope] r_0031_0005__that_r_0031_0009__realize->r_0031_0010__the_r_0031_0012__buddha_r_0031_0013__nature [arg1] r_0031_0005__that_r_0031_0009__realize->r_0031_0007__living_r_0031_0008__things [arg0] r_0031_0004__means means r_0031_0004__means->r_0031_0006__all_quant [arg1] r_0031_0001__Enlightenment Enlightenment r_0031_0004__means->r_0031_0001__Enlightenment [arg0] r_0031_0003__Zen Zen r_0031_0001__Enlightenment->r_0031_0003__Zen in 
fof(formula,axiom,
    ? [R_31_4_MEANS,R_31_1_ENLIGHTENMENT,R_31_3_ZEN] :
      ( zen(R_31_3_ZEN)
      & ! [R_31_15_POSSESS,R_31_7_LIVING_THINGS,R_31_10_THE_BUDDHA_NATURE,R_31_11_INHERENT] :
          ( ( living_things(R_31_7_LIVING_THINGS)
            & inherent(R_31_11_INHERENT)
            & possess(R_31_15_POSSESS,R_31_7_LIVING_THINGS,R_31_10_THE_BUDDHA_NATURE)
            & the_buddha_nature(R_31_10_THE_BUDDHA_NATURE)
            & attrib29(R_31_10_THE_BUDDHA_NATURE,R_31_11_INHERENT) )
         => ? [R_31_5_THAT_REALIZE] : that_realize(R_31_5_THAT_REALIZE,R_31_7_LIVING_THINGS,R_31_10_THE_BUDDHA_NATURE) )
      & arg1(ARG1)
      & means(R_31_4_MEANS,R_31_1_ENLIGHTENMENT)
      & enlightenment(R_31_1_ENLIGHTENMENT)
      & in(R_31_1_ENLIGHTENMENT,R_31_3_ZEN) ) ).


n31_a_kyoto_2 n31_a_kyoto_2__1_1_1_1 Enlightenment n31_a_kyoto_2__1_1_2_1_1 in n31_a_kyoto_2__1_1_2_2_1_1 Zen n31_a_kyoto_2__1_2_1 means n31_a_kyoto_2__1_3_1_1_1 that n31_a_kyoto_2__1_3_1_2_1_1 all n31_a_kyoto_2__1_3_1_2_2_1 living n31_a_kyoto_2__1_3_1_2_3_1 things n31_a_kyoto_2__1_3_1_3_1 realize n31_a_kyoto_2__1_3_1_4_1_1 the n31_a_kyoto_2__1_3_1_4_2_1_1 inherent n31_a_kyoto_2__1_3_1_4_3_1 buddha n31_a_kyoto_2__1_3_1_4_4_1 nature n31_a_kyoto_2__1_3_1_4_5_1_1 *T* n31_a_kyoto_2__1_3_1_4_5_2_1_1 they n31_a_kyoto_2__1_3_1_4_5_3_1 possess n31_a_kyoto_2__1_4_1 . n31_a_kyoto_2__1 IP-MAT n31_a_kyoto_2__1_1 NP-SBJ n31_a_kyoto_2__1->n31_a_kyoto_2__1_1 n31_a_kyoto_2__1_2 VBP;__ n31_a_kyoto_2__1->n31_a_kyoto_2__1_2 n31_a_kyoto_2__1_3 CP-THT-OB1 n31_a_kyoto_2__1->n31_a_kyoto_2__1_3 n31_a_kyoto_2__1_4 PUNC n31_a_kyoto_2__1->n31_a_kyoto_2__1_4 n31_a_kyoto_2__1_1_1 N n31_a_kyoto_2__1_1->n31_a_kyoto_2__1_1_1 n31_a_kyoto_2__1_1_2 PP n31_a_kyoto_2__1_1->n31_a_kyoto_2__1_1_2 n31_a_kyoto_2__1_1_1->n31_a_kyoto_2__1_1_1_1 n31_a_kyoto_2__1_1_2_1 P-ROLE n31_a_kyoto_2__1_1_2->n31_a_kyoto_2__1_1_2_1 n31_a_kyoto_2__1_1_2_2 NP n31_a_kyoto_2__1_1_2->n31_a_kyoto_2__1_1_2_2 n31_a_kyoto_2__1_1_2_1->n31_a_kyoto_2__1_1_2_1_1 n31_a_kyoto_2__1_1_2_2_1 NPR n31_a_kyoto_2__1_1_2_2->n31_a_kyoto_2__1_1_2_2_1 n31_a_kyoto_2__1_1_2_2_1->n31_a_kyoto_2__1_1_2_2_1_1 n31_a_kyoto_2__1_2->n31_a_kyoto_2__1_2_1 n31_a_kyoto_2__1_3_1 IP-SUB n31_a_kyoto_2__1_3->n31_a_kyoto_2__1_3_1 n31_a_kyoto_2__1_3_1_1 C n31_a_kyoto_2__1_3_1->n31_a_kyoto_2__1_3_1_1 n31_a_kyoto_2__1_3_1_2 NP-SBJ n31_a_kyoto_2__1_3_1->n31_a_kyoto_2__1_3_1_2 n31_a_kyoto_2__1_3_1_3 VBP;__ n31_a_kyoto_2__1_3_1->n31_a_kyoto_2__1_3_1_3 n31_a_kyoto_2__1_3_1_4 NP-OB1 n31_a_kyoto_2__1_3_1->n31_a_kyoto_2__1_3_1_4 n31_a_kyoto_2__1_3_1_1->n31_a_kyoto_2__1_3_1_1_1 n31_a_kyoto_2__1_3_1_2_1 Q n31_a_kyoto_2__1_3_1_2->n31_a_kyoto_2__1_3_1_2_1 n31_a_kyoto_2__1_3_1_2_2 N n31_a_kyoto_2__1_3_1_2->n31_a_kyoto_2__1_3_1_2_2 n31_a_kyoto_2__1_3_1_2_3 NS n31_a_kyoto_2__1_3_1_2->n31_a_kyoto_2__1_3_1_2_3 n31_a_kyoto_2__1_3_1_2_1->n31_a_kyoto_2__1_3_1_2_1_1 n31_a_kyoto_2__1_3_1_2_2->n31_a_kyoto_2__1_3_1_2_2_1 n31_a_kyoto_2__1_3_1_2_3->n31_a_kyoto_2__1_3_1_2_3_1 n31_a_kyoto_2__1_3_1_3->n31_a_kyoto_2__1_3_1_3_1 n31_a_kyoto_2__1_3_1_4_1 D n31_a_kyoto_2__1_3_1_4->n31_a_kyoto_2__1_3_1_4_1 n31_a_kyoto_2__1_3_1_4_2 ADJP n31_a_kyoto_2__1_3_1_4->n31_a_kyoto_2__1_3_1_4_2 n31_a_kyoto_2__1_3_1_4_3 N n31_a_kyoto_2__1_3_1_4->n31_a_kyoto_2__1_3_1_4_3 n31_a_kyoto_2__1_3_1_4_4 N n31_a_kyoto_2__1_3_1_4->n31_a_kyoto_2__1_3_1_4_4 n31_a_kyoto_2__1_3_1_4_5 IP-REL n31_a_kyoto_2__1_3_1_4->n31_a_kyoto_2__1_3_1_4_5 n31_a_kyoto_2__1_3_1_4_1->n31_a_kyoto_2__1_3_1_4_1_1 n31_a_kyoto_2__1_3_1_4_2_1 ADJ n31_a_kyoto_2__1_3_1_4_2->n31_a_kyoto_2__1_3_1_4_2_1 n31_a_kyoto_2__1_3_1_4_2_1->n31_a_kyoto_2__1_3_1_4_2_1_1 n31_a_kyoto_2__1_3_1_4_3->n31_a_kyoto_2__1_3_1_4_3_1 n31_a_kyoto_2__1_3_1_4_4->n31_a_kyoto_2__1_3_1_4_4_1 n31_a_kyoto_2__1_3_1_4_5_1 NP-OB1 n31_a_kyoto_2__1_3_1_4_5->n31_a_kyoto_2__1_3_1_4_5_1 n31_a_kyoto_2__1_3_1_4_5_2 NP-SBJ n31_a_kyoto_2__1_3_1_4_5->n31_a_kyoto_2__1_3_1_4_5_2 n31_a_kyoto_2__1_3_1_4_5_3 VBP;__ n31_a_kyoto_2__1_3_1_4_5->n31_a_kyoto_2__1_3_1_4_5_3 n31_a_kyoto_2__1_3_1_4_5_1->n31_a_kyoto_2__1_3_1_4_5_1_1 n31_a_kyoto_2__1_3_1_4_5_2_1 PRO n31_a_kyoto_2__1_3_1_4_5_2->n31_a_kyoto_2__1_3_1_4_5_2_1 n31_a_kyoto_2__1_3_1_4_5_2_1->n31_a_kyoto_2__1_3_1_4_5_2_1_1 n31_a_kyoto_2__1_3_1_4_5_3->n31_a_kyoto_2__1_3_1_4_5_3_1 n31_a_kyoto_2__1_4->n31_a_kyoto_2__1_4_1 
( (IP-MAT (NP-SBJ (N Enlightenment;{enlightenment})
                  (PP (P-ROLE in;{in})
                      (NP (NPR Zen;{Zen}))))
          (VBP;__ means;{mean})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ;{THINGS} (Q all;{all})
                                               (N living;{living})
                                               (NS things;{thing}))
                              (VBP;__ realize;{realize})
                              (NP-OB1 (D the;{the})
                                      (ADJP (ADJ inherent;{inherent}))
                                      (N buddha;{buddha})
                                      (N nature;{nature})
                                      (IP-REL (NP-OB1 *T*)
                                              (NP-SBJ;{THINGS} (PRO they;{they}))
                                              (VBP;__ possess;{possess})))))
          (PUNC .))
  (ID 31_a_kyoto_2;BDS_00002;31))