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_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_0015__possess possess r_0031_0006__all_quant->r_0031_0015__possess [restriction] r_0031_0007__living_r_0031_0008__things living things 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->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] 
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_4 Enlightenment n31_a_kyoto_2_7 in n31_a_kyoto_2_10 Zen n31_a_kyoto_2_12 means n31_a_kyoto_2_16 that n31_a_kyoto_2_19 all n31_a_kyoto_2_21 living n31_a_kyoto_2_23 things n31_a_kyoto_2_25 realize n31_a_kyoto_2_28 the n31_a_kyoto_2_31 inherent n31_a_kyoto_2_33 buddha n31_a_kyoto_2_35 nature n31_a_kyoto_2_38 *T* n31_a_kyoto_2_41 they n31_a_kyoto_2_43 possess n31_a_kyoto_2_45 . n31_a_kyoto_2_1 IP-MAT n31_a_kyoto_2_2 NP-SBJ n31_a_kyoto_2_1->n31_a_kyoto_2_2 n31_a_kyoto_2_11 VBP;__ n31_a_kyoto_2_1->n31_a_kyoto_2_11 n31_a_kyoto_2_13 CP-THT-OB1 n31_a_kyoto_2_1->n31_a_kyoto_2_13 n31_a_kyoto_2_44 PUNC n31_a_kyoto_2_1->n31_a_kyoto_2_44 n31_a_kyoto_2_3 N n31_a_kyoto_2_2->n31_a_kyoto_2_3 n31_a_kyoto_2_5 PP n31_a_kyoto_2_2->n31_a_kyoto_2_5 n31_a_kyoto_2_3->n31_a_kyoto_2_4 n31_a_kyoto_2_6 P-ROLE n31_a_kyoto_2_5->n31_a_kyoto_2_6 n31_a_kyoto_2_8 NP n31_a_kyoto_2_5->n31_a_kyoto_2_8 n31_a_kyoto_2_6->n31_a_kyoto_2_7 n31_a_kyoto_2_9 NPR n31_a_kyoto_2_8->n31_a_kyoto_2_9 n31_a_kyoto_2_9->n31_a_kyoto_2_10 n31_a_kyoto_2_11->n31_a_kyoto_2_12 n31_a_kyoto_2_14 IP-SUB n31_a_kyoto_2_13->n31_a_kyoto_2_14 n31_a_kyoto_2_15 C n31_a_kyoto_2_14->n31_a_kyoto_2_15 n31_a_kyoto_2_17 NP-SBJ n31_a_kyoto_2_14->n31_a_kyoto_2_17 n31_a_kyoto_2_24 VBP;__ n31_a_kyoto_2_14->n31_a_kyoto_2_24 n31_a_kyoto_2_26 NP-OB1 n31_a_kyoto_2_14->n31_a_kyoto_2_26 n31_a_kyoto_2_15->n31_a_kyoto_2_16 n31_a_kyoto_2_18 Q n31_a_kyoto_2_17->n31_a_kyoto_2_18 n31_a_kyoto_2_20 N n31_a_kyoto_2_17->n31_a_kyoto_2_20 n31_a_kyoto_2_22 NS n31_a_kyoto_2_17->n31_a_kyoto_2_22 n31_a_kyoto_2_18->n31_a_kyoto_2_19 n31_a_kyoto_2_20->n31_a_kyoto_2_21 n31_a_kyoto_2_22->n31_a_kyoto_2_23 n31_a_kyoto_2_24->n31_a_kyoto_2_25 n31_a_kyoto_2_27 D n31_a_kyoto_2_26->n31_a_kyoto_2_27 n31_a_kyoto_2_29 ADJP n31_a_kyoto_2_26->n31_a_kyoto_2_29 n31_a_kyoto_2_32 N n31_a_kyoto_2_26->n31_a_kyoto_2_32 n31_a_kyoto_2_34 N n31_a_kyoto_2_26->n31_a_kyoto_2_34 n31_a_kyoto_2_36 IP-REL n31_a_kyoto_2_26->n31_a_kyoto_2_36 n31_a_kyoto_2_27->n31_a_kyoto_2_28 n31_a_kyoto_2_30 ADJ n31_a_kyoto_2_29->n31_a_kyoto_2_30 n31_a_kyoto_2_30->n31_a_kyoto_2_31 n31_a_kyoto_2_32->n31_a_kyoto_2_33 n31_a_kyoto_2_34->n31_a_kyoto_2_35 n31_a_kyoto_2_37 NP-OB1 n31_a_kyoto_2_36->n31_a_kyoto_2_37 n31_a_kyoto_2_39 NP-SBJ n31_a_kyoto_2_36->n31_a_kyoto_2_39 n31_a_kyoto_2_42 VBP;__ n31_a_kyoto_2_36->n31_a_kyoto_2_42 n31_a_kyoto_2_37->n31_a_kyoto_2_38 n31_a_kyoto_2_40 PRO n31_a_kyoto_2_39->n31_a_kyoto_2_40 n31_a_kyoto_2_40->n31_a_kyoto_2_41 n31_a_kyoto_2_42->n31_a_kyoto_2_43 n31_a_kyoto_2_44->n31_a_kyoto_2_45 
( (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))