Context                Previous, Next                Top


186_a_ted_talk_11
We know three things about intelligence.

%3 r_0186_0002__know know r_0186_0001__We We r_0186_0002__know->r_0186_0001__We [arg0] r_0186_0003__three_r_0186_0004__things three things r_0186_0002__know->r_0186_0003__three_r_0186_0004__things [arg1] r_0186_0006__intelligence intelligence r_0186_0002__know->r_0186_0006__intelligence about [nim] 
arc(r_0186_0002__know, r_0186_0001__We, arg0).
arc(r_0186_0002__know, r_0186_0003__three_r_0186_0004__things, arg1).
arc(r_0186_0002__know, r_0186_0006__intelligence, r_0186_0005__about_nim15).


%3 r_0186_0002__know know r_0186_0006__intelligence intelligence r_0186_0002__know->r_0186_0006__intelligence about [nim] r_0186_0003__three_r_0186_0004__things three things r_0186_0002__know->r_0186_0003__three_r_0186_0004__things [arg1] r_0186_0001__We We r_0186_0002__know->r_0186_0001__We [arg0] 
fof(formula,axiom,
    ? [R_186_2_KNOW,R_186_1_WE,R_186_3_THREE_THINGS,R_186_6_INTELLIGENCE] :
      ( we(R_186_1_WE)
      & three_things(R_186_3_THREE_THINGS)
      & intelligence(R_186_6_INTELLIGENCE)
      & know(R_186_2_KNOW,R_186_1_WE,R_186_3_THREE_THINGS)
      & about_nim15(R_186_2_KNOW,R_186_6_INTELLIGENCE) ) ).


n186_a_ted_talk_11 n186_a_ted_talk_11__1_1_1_1 We n186_a_ted_talk_11__1_2_1 know n186_a_ted_talk_11__1_3_1_1 three n186_a_ted_talk_11__1_3_2_1 things n186_a_ted_talk_11__1_4_1_1 about n186_a_ted_talk_11__1_4_2_1_1 intelligence n186_a_ted_talk_11__1_5_1 . n186_a_ted_talk_11__1 IP-MAT n186_a_ted_talk_11__1_1 NP-SBJ n186_a_ted_talk_11__1->n186_a_ted_talk_11__1_1 n186_a_ted_talk_11__1_2 VBP;_Tn_ n186_a_ted_talk_11__1->n186_a_ted_talk_11__1_2 n186_a_ted_talk_11__1_3 NP-OB1 n186_a_ted_talk_11__1->n186_a_ted_talk_11__1_3 n186_a_ted_talk_11__1_4 PP-NIM n186_a_ted_talk_11__1->n186_a_ted_talk_11__1_4 n186_a_ted_talk_11__1_5 PUNC n186_a_ted_talk_11__1->n186_a_ted_talk_11__1_5 n186_a_ted_talk_11__1_1_1 PRO n186_a_ted_talk_11__1_1->n186_a_ted_talk_11__1_1_1 n186_a_ted_talk_11__1_1_1->n186_a_ted_talk_11__1_1_1_1 n186_a_ted_talk_11__1_2->n186_a_ted_talk_11__1_2_1 n186_a_ted_talk_11__1_3_1 NUM n186_a_ted_talk_11__1_3->n186_a_ted_talk_11__1_3_1 n186_a_ted_talk_11__1_3_2 NS n186_a_ted_talk_11__1_3->n186_a_ted_talk_11__1_3_2 n186_a_ted_talk_11__1_3_1->n186_a_ted_talk_11__1_3_1_1 n186_a_ted_talk_11__1_3_2->n186_a_ted_talk_11__1_3_2_1 n186_a_ted_talk_11__1_4_1 P-ROLE n186_a_ted_talk_11__1_4->n186_a_ted_talk_11__1_4_1 n186_a_ted_talk_11__1_4_2 NP n186_a_ted_talk_11__1_4->n186_a_ted_talk_11__1_4_2 n186_a_ted_talk_11__1_4_1->n186_a_ted_talk_11__1_4_1_1 n186_a_ted_talk_11__1_4_2_1 N n186_a_ted_talk_11__1_4_2->n186_a_ted_talk_11__1_4_2_1 n186_a_ted_talk_11__1_4_2_1->n186_a_ted_talk_11__1_4_2_1_1 n186_a_ted_talk_11__1_5->n186_a_ted_talk_11__1_5_1 
( (IP-MAT (NP-SBJ (PRO We;{we}))
          (VBP;_Tn_ know;{know})
          (NP-OB1 (NUM three;{three})
                  (NS things;{thing}))
          (PP-NIM (P-ROLE about;{about})
                  (NP (N intelligence;{intelligence})))
          (PUNC .))
  (ID 186_a_ted_talk_11))