Context                Previous, Next                Top


3_a_voyager
July 29, 1977

%3 z_000_3_a_voyager_1 r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 July 29 1977 z_000_3_a_voyager_1->r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 [nim] 
arc(z_000_3_a_voyager_1, r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977, nim2).


%3 z_000_3_a_voyager_1 r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 July 29 1977 z_000_3_a_voyager_1->r_0003_0001__July_r_0003_0002__29_r_0003_0004__1977 [nim] 
fof(formula,axiom,
    ? [Z_3_A_VOYAGER_1,R_3_1_JULY_29_1977] :
      ( july_29_1977(R_3_1_JULY_29_1977)
      & z_3_a_voyager_1(Z_3_A_VOYAGER_1)
      & nim2(Z_3_A_VOYAGER_1,R_3_1_JULY_29_1977) ) ).


n3_a_voyager n3_a_voyager__1_1_1_1 July n3_a_voyager__1_1_2_1 29 n3_a_voyager__1_1_3_1 , n3_a_voyager__1_1_4_1 1977 n3_a_voyager__1 FRAG n3_a_voyager__1_1 NP n3_a_voyager__1->n3_a_voyager__1_1 n3_a_voyager__1_1_1 NPR n3_a_voyager__1_1->n3_a_voyager__1_1_1 n3_a_voyager__1_1_2 NPR n3_a_voyager__1_1->n3_a_voyager__1_1_2 n3_a_voyager__1_1_3 PUNC n3_a_voyager__1_1->n3_a_voyager__1_1_3 n3_a_voyager__1_1_4 NPR n3_a_voyager__1_1->n3_a_voyager__1_1_4 n3_a_voyager__1_1_1->n3_a_voyager__1_1_1_1 n3_a_voyager__1_1_2->n3_a_voyager__1_1_2_1 n3_a_voyager__1_1_3->n3_a_voyager__1_1_3_1 n3_a_voyager__1_1_4->n3_a_voyager__1_1_4_1 
( (FRAG (NP (NPR July;{July})
            (NPR 29)
            (PUNC ,)
            (NPR 1977)))
  (ID 3_a_voyager))