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_0003__A_r_0014_0005__Program_r_0014_0006__Machine A Program Machine r_0014_0004__Stored Stored r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine->r_0014_0004__Stored [attrib] r_0014_0002__Is Is r_0014_0002__Is->r_0014_0003__A_r_0014_0005__Program_r_0014_0006__Machine [arg0] r_0014_0001__What What r_0014_0002__Is->r_0014_0001__What [prd] 
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__1_1_1_1_1 What n14_a_ibm_1401__1_1_2_1 Is n14_a_ibm_1401__1_1_3_1_1 A n14_a_ibm_1401__1_1_3_2_1_1 Stored n14_a_ibm_1401__1_1_3_3_1 Program n14_a_ibm_1401__1_1_3_4_1 Machine n14_a_ibm_1401__1_2_1 ? n14_a_ibm_1401__1 CP-QUE-MAT n14_a_ibm_1401__1_1 IP-SUB n14_a_ibm_1401__1->n14_a_ibm_1401__1_1 n14_a_ibm_1401__1_2 PUNC n14_a_ibm_1401__1->n14_a_ibm_1401__1_2 n14_a_ibm_1401__1_1_1 NP-PRD n14_a_ibm_1401__1_1->n14_a_ibm_1401__1_1_1 n14_a_ibm_1401__1_1_2 BEP;_Ln_ n14_a_ibm_1401__1_1->n14_a_ibm_1401__1_1_2 n14_a_ibm_1401__1_1_3 NP-SBJ n14_a_ibm_1401__1_1->n14_a_ibm_1401__1_1_3 n14_a_ibm_1401__1_1_1_1 WPRO n14_a_ibm_1401__1_1_1->n14_a_ibm_1401__1_1_1_1 n14_a_ibm_1401__1_1_1_1->n14_a_ibm_1401__1_1_1_1_1 n14_a_ibm_1401__1_1_2->n14_a_ibm_1401__1_1_2_1 n14_a_ibm_1401__1_1_3_1 D n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_1 n14_a_ibm_1401__1_1_3_2 ADJP n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_2 n14_a_ibm_1401__1_1_3_3 N n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_3 n14_a_ibm_1401__1_1_3_4 N n14_a_ibm_1401__1_1_3->n14_a_ibm_1401__1_1_3_4 n14_a_ibm_1401__1_1_3_1->n14_a_ibm_1401__1_1_3_1_1 n14_a_ibm_1401__1_1_3_2_1 ADJ n14_a_ibm_1401__1_1_3_2->n14_a_ibm_1401__1_1_3_2_1 n14_a_ibm_1401__1_1_3_2_1->n14_a_ibm_1401__1_1_3_2_1_1 n14_a_ibm_1401__1_1_3_3->n14_a_ibm_1401__1_1_3_3_1 n14_a_ibm_1401__1_1_3_4->n14_a_ibm_1401__1_1_3_4_1 n14_a_ibm_1401__1_2->n14_a_ibm_1401__1_2_1 
( (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))