Context                Previous, Next                Top


75_a_seiko_9r65
<white circle> This watch is an automatic winding type (with manual winding function).

%3 r_0075_0001___white_circle__r_0075_0004__is white circle  is r_0075_0002__This_r_0075_0003__watch This watch r_0075_0001___white_circle__r_0075_0004__is->r_0075_0002__This_r_0075_0003__watch [arg0] r_0075_0005__an_r_0075_0008__type an type r_0075_0001___white_circle__r_0075_0004__is->r_0075_0005__an_r_0075_0008__type [prd] r_0075_0006__automatic automatic r_0075_0005__an_r_0075_0008__type->r_0075_0006__automatic [attrib] r_0075_0007__winding winding r_0075_0005__an_r_0075_0008__type->r_0075_0007__winding [attrib] 
arc(r_0075_0001___white_circle__r_0075_0004__is, r_0075_0002__This_r_0075_0003__watch, arg0).
arc(r_0075_0001___white_circle__r_0075_0004__is, r_0075_0005__an_r_0075_0008__type, prd).
arc(r_0075_0005__an_r_0075_0008__type, r_0075_0006__automatic, attrib14).
arc(r_0075_0005__an_r_0075_0008__type, r_0075_0007__winding, attrib17).


%3 r_0075_0005__an_r_0075_0008__type an type r_0075_0007__winding winding r_0075_0005__an_r_0075_0008__type->r_0075_0007__winding [attrib] r_0075_0006__automatic automatic r_0075_0005__an_r_0075_0008__type->r_0075_0006__automatic [attrib] r_0075_0001___white_circle__r_0075_0004__is white circle  is r_0075_0001___white_circle__r_0075_0004__is->r_0075_0005__an_r_0075_0008__type [prd] r_0075_0002__This_r_0075_0003__watch This watch r_0075_0001___white_circle__r_0075_0004__is->r_0075_0002__This_r_0075_0003__watch [arg0] 
fof(formula,axiom,
    ? [R_0075_0002__THIS_R_0075_0003__WATCH,R_0075_0006__AUTOMATIC,R_0075_0007__WINDING,R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0001___WHITE_CIRCLE__R_0075_0004__IS] :
      ( r_0075_0002__This_r_0075_0003__watch(R_0075_0002__THIS_R_0075_0003__WATCH)
      & r_0075_0006__automatic(R_0075_0006__AUTOMATIC)
      & r_0075_0007__winding(R_0075_0007__WINDING)
      & r_0075_0001___white_circle__r_0075_0004__is(R_0075_0001___WHITE_CIRCLE__R_0075_0004__IS)
      & has_prd(R_0075_0001___WHITE_CIRCLE__R_0075_0004__IS,R_0075_0005__AN_R_0075_0008__TYPE)
      & r_0075_0005__an_r_0075_0008__type(R_0075_0005__AN_R_0075_0008__TYPE)
      & has_attrib17(R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0007__WINDING)
      & has_attrib14(R_0075_0005__AN_R_0075_0008__TYPE,R_0075_0006__AUTOMATIC)
      & has_arg0(R_0075_0001___WHITE_CIRCLE__R_0075_0004__IS,R_0075_0002__THIS_R_0075_0003__WATCH) ) ).


n75_a_seiko_9r65 n75_a_seiko_9r65__1_1_1 <white_circle> n75_a_seiko_9r65__1_2_1_1 This n75_a_seiko_9r65__1_2_2_1 watch n75_a_seiko_9r65__1_3_1 is n75_a_seiko_9r65__1_4_1_1 an n75_a_seiko_9r65__1_4_2_1_1 automatic n75_a_seiko_9r65__1_4_3_1_1 winding n75_a_seiko_9r65__1_4_4_1 type n75_a_seiko_9r65__1_4_5_1 -LRB- n75_a_seiko_9r65__1_4_6_1_1_1 with n75_a_seiko_9r65__1_4_6_1_2_1_1_1 manual n75_a_seiko_9r65__1_4_6_1_2_2_1_1 winding n75_a_seiko_9r65__1_4_6_1_2_3_1 function n75_a_seiko_9r65__1_4_7_1 -RRB- n75_a_seiko_9r65__1_5_1 . n75_a_seiko_9r65__1 IP-MAT n75_a_seiko_9r65__1_1 SYM n75_a_seiko_9r65__1->n75_a_seiko_9r65__1_1 n75_a_seiko_9r65__1_2 NP-SBJ n75_a_seiko_9r65__1->n75_a_seiko_9r65__1_2 n75_a_seiko_9r65__1_3 BEP;_Ln_ n75_a_seiko_9r65__1->n75_a_seiko_9r65__1_3 n75_a_seiko_9r65__1_4 NP-PRD n75_a_seiko_9r65__1->n75_a_seiko_9r65__1_4 n75_a_seiko_9r65__1_5 PUNC n75_a_seiko_9r65__1->n75_a_seiko_9r65__1_5 n75_a_seiko_9r65__1_1->n75_a_seiko_9r65__1_1_1 n75_a_seiko_9r65__1_2_1 D n75_a_seiko_9r65__1_2->n75_a_seiko_9r65__1_2_1 n75_a_seiko_9r65__1_2_2 N n75_a_seiko_9r65__1_2->n75_a_seiko_9r65__1_2_2 n75_a_seiko_9r65__1_2_1->n75_a_seiko_9r65__1_2_1_1 n75_a_seiko_9r65__1_2_2->n75_a_seiko_9r65__1_2_2_1 n75_a_seiko_9r65__1_3->n75_a_seiko_9r65__1_3_1 n75_a_seiko_9r65__1_4_1 D n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_1 n75_a_seiko_9r65__1_4_2 ADJP n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_2 n75_a_seiko_9r65__1_4_3 ADJP n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_3 n75_a_seiko_9r65__1_4_4 N n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_4 n75_a_seiko_9r65__1_4_5 PULB n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_5 n75_a_seiko_9r65__1_4_6 PRN n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_6 n75_a_seiko_9r65__1_4_7 PURB n75_a_seiko_9r65__1_4->n75_a_seiko_9r65__1_4_7 n75_a_seiko_9r65__1_4_1->n75_a_seiko_9r65__1_4_1_1 n75_a_seiko_9r65__1_4_2_1 ADJ n75_a_seiko_9r65__1_4_2->n75_a_seiko_9r65__1_4_2_1 n75_a_seiko_9r65__1_4_2_1->n75_a_seiko_9r65__1_4_2_1_1 n75_a_seiko_9r65__1_4_3_1 ADJ n75_a_seiko_9r65__1_4_3->n75_a_seiko_9r65__1_4_3_1 n75_a_seiko_9r65__1_4_3_1->n75_a_seiko_9r65__1_4_3_1_1 n75_a_seiko_9r65__1_4_4->n75_a_seiko_9r65__1_4_4_1 n75_a_seiko_9r65__1_4_5->n75_a_seiko_9r65__1_4_5_1 n75_a_seiko_9r65__1_4_6_1 PP n75_a_seiko_9r65__1_4_6->n75_a_seiko_9r65__1_4_6_1 n75_a_seiko_9r65__1_4_6_1_1 P-ROLE n75_a_seiko_9r65__1_4_6_1->n75_a_seiko_9r65__1_4_6_1_1 n75_a_seiko_9r65__1_4_6_1_2 NP n75_a_seiko_9r65__1_4_6_1->n75_a_seiko_9r65__1_4_6_1_2 n75_a_seiko_9r65__1_4_6_1_1->n75_a_seiko_9r65__1_4_6_1_1_1 n75_a_seiko_9r65__1_4_6_1_2_1 ADJP n75_a_seiko_9r65__1_4_6_1_2->n75_a_seiko_9r65__1_4_6_1_2_1 n75_a_seiko_9r65__1_4_6_1_2_2 ADJP n75_a_seiko_9r65__1_4_6_1_2->n75_a_seiko_9r65__1_4_6_1_2_2 n75_a_seiko_9r65__1_4_6_1_2_3 N n75_a_seiko_9r65__1_4_6_1_2->n75_a_seiko_9r65__1_4_6_1_2_3 n75_a_seiko_9r65__1_4_6_1_2_1_1 ADJ n75_a_seiko_9r65__1_4_6_1_2_1->n75_a_seiko_9r65__1_4_6_1_2_1_1 n75_a_seiko_9r65__1_4_6_1_2_1_1->n75_a_seiko_9r65__1_4_6_1_2_1_1_1 n75_a_seiko_9r65__1_4_6_1_2_2_1 ADJ n75_a_seiko_9r65__1_4_6_1_2_2->n75_a_seiko_9r65__1_4_6_1_2_2_1 n75_a_seiko_9r65__1_4_6_1_2_2_1->n75_a_seiko_9r65__1_4_6_1_2_2_1_1 n75_a_seiko_9r65__1_4_6_1_2_3->n75_a_seiko_9r65__1_4_6_1_2_3_1 n75_a_seiko_9r65__1_4_7->n75_a_seiko_9r65__1_4_7_1 n75_a_seiko_9r65__1_5->n75_a_seiko_9r65__1_5_1 
( (IP-MAT (SYM <white_circle>)
          (NP-SBJ (D This;{this})
                  (N watch;{watch}))
          (BEP;_Ln_ is;{be})
          (NP-PRD (D an;{an})
                  (ADJP (ADJ automatic;{automatic}))
                  (ADJP (ADJ winding;{winding}))
                  (N type;{type})
                  (PULB -LRB-)
                  (PRN (PP (P-ROLE with;{with})
                           (NP (ADJP (ADJ manual;{manual}))
                               (ADJP (ADJ winding;{winding}))
                               (N function;{function}))))
                  (PURB -RRB-))
          (PUNC .))
  (ID 75_a_seiko_9r65))