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_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] 
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_4 We n186_a_ted_talk_11_6 know n186_a_ted_talk_11_9 three n186_a_ted_talk_11_11 things n186_a_ted_talk_11_14 about n186_a_ted_talk_11_17 intelligence n186_a_ted_talk_11_19 . n186_a_ted_talk_11_1 IP-MAT n186_a_ted_talk_11_2 NP-SBJ n186_a_ted_talk_11_1->n186_a_ted_talk_11_2 n186_a_ted_talk_11_5 VBP;_Tn_ n186_a_ted_talk_11_1->n186_a_ted_talk_11_5 n186_a_ted_talk_11_7 NP-OB1 n186_a_ted_talk_11_1->n186_a_ted_talk_11_7 n186_a_ted_talk_11_12 PP-NIM n186_a_ted_talk_11_1->n186_a_ted_talk_11_12 n186_a_ted_talk_11_18 PUNC n186_a_ted_talk_11_1->n186_a_ted_talk_11_18 n186_a_ted_talk_11_3 PRO n186_a_ted_talk_11_2->n186_a_ted_talk_11_3 n186_a_ted_talk_11_3->n186_a_ted_talk_11_4 n186_a_ted_talk_11_5->n186_a_ted_talk_11_6 n186_a_ted_talk_11_8 NUM n186_a_ted_talk_11_7->n186_a_ted_talk_11_8 n186_a_ted_talk_11_10 NS n186_a_ted_talk_11_7->n186_a_ted_talk_11_10 n186_a_ted_talk_11_8->n186_a_ted_talk_11_9 n186_a_ted_talk_11_10->n186_a_ted_talk_11_11 n186_a_ted_talk_11_13 P-ROLE n186_a_ted_talk_11_12->n186_a_ted_talk_11_13 n186_a_ted_talk_11_15 NP n186_a_ted_talk_11_12->n186_a_ted_talk_11_15 n186_a_ted_talk_11_13->n186_a_ted_talk_11_14 n186_a_ted_talk_11_16 N n186_a_ted_talk_11_15->n186_a_ted_talk_11_16 n186_a_ted_talk_11_16->n186_a_ted_talk_11_17 n186_a_ted_talk_11_18->n186_a_ted_talk_11_19 
( (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))