Context                Previous, Next                Top


14_a_ibm_1401
What Is A Stored Program Machine?

%3 r_0014_0002__Is Is r_0014_0001__What What r_0014_0002__Is->r_0014_0001__What [prd] r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine A Program Machine r_0014_0002__Is->r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine [arg0] r_0014_0004__Stored Stored r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine->r_0014_0004__Stored [attrib] 
arc(r_0014_0002__Is, r_0014_0001__What, prd).
arc(r_0014_0002__Is, r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine, arg0).
arc(r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine, r_0014_0004__Stored, attrib11).


%3 r_0014_0002__Is Is r_0014_0001__What What r_0014_0002__Is->r_0014_0001__What [prd] r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine A Program Machine r_0014_0002__Is->r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine [arg0] r_0014_0004__Stored Stored r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine->r_0014_0004__Stored [attrib] 
fof(formula,axiom,
    ? [R_14_2_IS,R_14_3_A_PROGRAM_MACHINE,R_14_4_STORED,R_14_1_WHAT] :
      ( stored(R_14_4_STORED)
      & what(R_14_1_WHAT)
      & is(R_14_2_IS,R_14_3_A_PROGRAM_MACHINE,R_14_1_WHAT)
      & a_Program_Machine(R_14_3_A_PROGRAM_MACHINE)
      & attrib11(R_14_3_A_PROGRAM_MACHINE,R_14_4_STORED) ) ).


n14_a_ibm_1401 n14_a_ibm_1401_5 What n14_a_ibm_1401_7 Is n14_a_ibm_1401_10 A n14_a_ibm_1401_13 Stored n14_a_ibm_1401_15 Program n14_a_ibm_1401_17 Machine n14_a_ibm_1401_19 ? n14_a_ibm_1401_1 CP-QUE-MAT n14_a_ibm_1401_2 IP-SUB n14_a_ibm_1401_1->n14_a_ibm_1401_2 n14_a_ibm_1401_18 PUNC n14_a_ibm_1401_1->n14_a_ibm_1401_18 n14_a_ibm_1401_3 NP-PRD n14_a_ibm_1401_2->n14_a_ibm_1401_3 n14_a_ibm_1401_6 BEP;_Ln_ n14_a_ibm_1401_2->n14_a_ibm_1401_6 n14_a_ibm_1401_8 NP-SBJ n14_a_ibm_1401_2->n14_a_ibm_1401_8 n14_a_ibm_1401_4 WPRO n14_a_ibm_1401_3->n14_a_ibm_1401_4 n14_a_ibm_1401_4->n14_a_ibm_1401_5 n14_a_ibm_1401_6->n14_a_ibm_1401_7 n14_a_ibm_1401_9 D n14_a_ibm_1401_8->n14_a_ibm_1401_9 n14_a_ibm_1401_11 ADJP n14_a_ibm_1401_8->n14_a_ibm_1401_11 n14_a_ibm_1401_14 N n14_a_ibm_1401_8->n14_a_ibm_1401_14 n14_a_ibm_1401_16 N n14_a_ibm_1401_8->n14_a_ibm_1401_16 n14_a_ibm_1401_9->n14_a_ibm_1401_10 n14_a_ibm_1401_12 ADJ n14_a_ibm_1401_11->n14_a_ibm_1401_12 n14_a_ibm_1401_12->n14_a_ibm_1401_13 n14_a_ibm_1401_14->n14_a_ibm_1401_15 n14_a_ibm_1401_16->n14_a_ibm_1401_17 n14_a_ibm_1401_18->n14_a_ibm_1401_19 
( (CP-QUE-MAT (IP-SUB (NP-PRD (WPRO What;{what}))
                      (BEP;_Ln_ Is;{be})
                      (NP-SBJ (D A;{a})
                              (ADJP (ADJ Stored;{stored}))
                              (N Program;{program})
                              (N Machine;{machine})))
              (PUNC ?))
  (ID 14_a_ibm_1401))