Context                Previous, Next                Top


3_a_artb_4_a1_e1
Dubai's Crown Prince Sheikh Mohamed Bin Rashid Al Maktoum inaugurated a free zone for e - commerce today, called Dubai Internet City.

n3_a_artb_4_a1_e1 n3_a_artb_4_a1_e1__1_1_1_1_1_1_1 Dubai n3_a_artb_4_a1_e1__1_1_1_1_1_2_1 's n3_a_artb_4_a1_e1__1_1_1_1_2_1 Crown n3_a_artb_4_a1_e1__1_1_1_1_3_1 Prince n3_a_artb_4_a1_e1__1_1_2_1 Sheikh n3_a_artb_4_a1_e1__1_1_3_1 Mohamed n3_a_artb_4_a1_e1__1_1_4_1 Bin n3_a_artb_4_a1_e1__1_1_5_1 Rashid n3_a_artb_4_a1_e1__1_1_6_1 Al n3_a_artb_4_a1_e1__1_1_7_1 Maktoum n3_a_artb_4_a1_e1__1_2_1 inaugurated n3_a_artb_4_a1_e1__1_3_1_1 a n3_a_artb_4_a1_e1__1_3_2_1_1 free n3_a_artb_4_a1_e1__1_3_3_1 zone n3_a_artb_4_a1_e1__1_3_4_1_1 for n3_a_artb_4_a1_e1__1_3_4_2_1_1 e n3_a_artb_4_a1_e1__1_3_4_2_2_1 - n3_a_artb_4_a1_e1__1_3_4_2_3_1 commerce n3_a_artb_4_a1_e1__1_3_5_1 *ICH*-128 n3_a_artb_4_a1_e1__1_4_1_1 today n3_a_artb_4_a1_e1__1_5_1 , n3_a_artb_4_a1_e1__1_6_1_1 called n3_a_artb_4_a1_e1__1_6_2_1_1 Dubai n3_a_artb_4_a1_e1__1_6_2_2_1 Internet n3_a_artb_4_a1_e1__1_6_2_3_1 City n3_a_artb_4_a1_e1__1_7_1 . n3_a_artb_4_a1_e1__1 IP-MAT n3_a_artb_4_a1_e1__1_1 NP-SBJ n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_1 n3_a_artb_4_a1_e1__1_2 VBD;_Tn_ n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_2 n3_a_artb_4_a1_e1__1_3 NP-OB1 n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_3 n3_a_artb_4_a1_e1__1_4 ADVP-NIM n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_4 n3_a_artb_4_a1_e1__1_5 PUNC n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_5 n3_a_artb_4_a1_e1__1_6 IP-PPL-EPD-128 n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_6 n3_a_artb_4_a1_e1__1_7 PUNC n3_a_artb_4_a1_e1__1->n3_a_artb_4_a1_e1__1_7 n3_a_artb_4_a1_e1__1_1_1 PRN n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_1 n3_a_artb_4_a1_e1__1_1_2 NPR n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_2 n3_a_artb_4_a1_e1__1_1_3 NPR n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_3 n3_a_artb_4_a1_e1__1_1_4 NPR n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_4 n3_a_artb_4_a1_e1__1_1_5 NPR n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_5 n3_a_artb_4_a1_e1__1_1_6 NPR n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_6 n3_a_artb_4_a1_e1__1_1_7 NPR n3_a_artb_4_a1_e1__1_1->n3_a_artb_4_a1_e1__1_1_7 n3_a_artb_4_a1_e1__1_1_1_1 NP n3_a_artb_4_a1_e1__1_1_1->n3_a_artb_4_a1_e1__1_1_1_1 n3_a_artb_4_a1_e1__1_1_1_1_1 NP-GEN n3_a_artb_4_a1_e1__1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_1 n3_a_artb_4_a1_e1__1_1_1_1_2 N n3_a_artb_4_a1_e1__1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_2 n3_a_artb_4_a1_e1__1_1_1_1_3 N n3_a_artb_4_a1_e1__1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_3 n3_a_artb_4_a1_e1__1_1_1_1_1_1 NPR n3_a_artb_4_a1_e1__1_1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_1_1 n3_a_artb_4_a1_e1__1_1_1_1_1_2 GENM n3_a_artb_4_a1_e1__1_1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_1_2 n3_a_artb_4_a1_e1__1_1_1_1_1_1->n3_a_artb_4_a1_e1__1_1_1_1_1_1_1 n3_a_artb_4_a1_e1__1_1_1_1_1_2->n3_a_artb_4_a1_e1__1_1_1_1_1_2_1 n3_a_artb_4_a1_e1__1_1_1_1_2->n3_a_artb_4_a1_e1__1_1_1_1_2_1 n3_a_artb_4_a1_e1__1_1_1_1_3->n3_a_artb_4_a1_e1__1_1_1_1_3_1 n3_a_artb_4_a1_e1__1_1_2->n3_a_artb_4_a1_e1__1_1_2_1 n3_a_artb_4_a1_e1__1_1_3->n3_a_artb_4_a1_e1__1_1_3_1 n3_a_artb_4_a1_e1__1_1_4->n3_a_artb_4_a1_e1__1_1_4_1 n3_a_artb_4_a1_e1__1_1_5->n3_a_artb_4_a1_e1__1_1_5_1 n3_a_artb_4_a1_e1__1_1_6->n3_a_artb_4_a1_e1__1_1_6_1 n3_a_artb_4_a1_e1__1_1_7->n3_a_artb_4_a1_e1__1_1_7_1 n3_a_artb_4_a1_e1__1_2->n3_a_artb_4_a1_e1__1_2_1 n3_a_artb_4_a1_e1__1_3_1 D n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_1 n3_a_artb_4_a1_e1__1_3_2 ADJP n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_2 n3_a_artb_4_a1_e1__1_3_3 N n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_3 n3_a_artb_4_a1_e1__1_3_4 PP n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_4 n3_a_artb_4_a1_e1__1_3_5 IP-PPL n3_a_artb_4_a1_e1__1_3->n3_a_artb_4_a1_e1__1_3_5 n3_a_artb_4_a1_e1__1_3_1->n3_a_artb_4_a1_e1__1_3_1_1 n3_a_artb_4_a1_e1__1_3_2_1 ADJ n3_a_artb_4_a1_e1__1_3_2->n3_a_artb_4_a1_e1__1_3_2_1 n3_a_artb_4_a1_e1__1_3_2_1->n3_a_artb_4_a1_e1__1_3_2_1_1 n3_a_artb_4_a1_e1__1_3_3->n3_a_artb_4_a1_e1__1_3_3_1 n3_a_artb_4_a1_e1__1_3_4_1 P-ROLE n3_a_artb_4_a1_e1__1_3_4->n3_a_artb_4_a1_e1__1_3_4_1 n3_a_artb_4_a1_e1__1_3_4_2 NP n3_a_artb_4_a1_e1__1_3_4->n3_a_artb_4_a1_e1__1_3_4_2 n3_a_artb_4_a1_e1__1_3_4_1->n3_a_artb_4_a1_e1__1_3_4_1_1 n3_a_artb_4_a1_e1__1_3_4_2_1 N n3_a_artb_4_a1_e1__1_3_4_2->n3_a_artb_4_a1_e1__1_3_4_2_1 n3_a_artb_4_a1_e1__1_3_4_2_2 PUNC n3_a_artb_4_a1_e1__1_3_4_2->n3_a_artb_4_a1_e1__1_3_4_2_2 n3_a_artb_4_a1_e1__1_3_4_2_3 N n3_a_artb_4_a1_e1__1_3_4_2->n3_a_artb_4_a1_e1__1_3_4_2_3 n3_a_artb_4_a1_e1__1_3_4_2_1->n3_a_artb_4_a1_e1__1_3_4_2_1_1 n3_a_artb_4_a1_e1__1_3_4_2_2->n3_a_artb_4_a1_e1__1_3_4_2_2_1 n3_a_artb_4_a1_e1__1_3_4_2_3->n3_a_artb_4_a1_e1__1_3_4_2_3_1 n3_a_artb_4_a1_e1__1_3_5->n3_a_artb_4_a1_e1__1_3_5_1 n3_a_artb_4_a1_e1__1_4_1 ADV n3_a_artb_4_a1_e1__1_4->n3_a_artb_4_a1_e1__1_4_1 n3_a_artb_4_a1_e1__1_4_1->n3_a_artb_4_a1_e1__1_4_1_1 n3_a_artb_4_a1_e1__1_5->n3_a_artb_4_a1_e1__1_5_1 n3_a_artb_4_a1_e1__1_6_1 VVN;_Cn.n_ n3_a_artb_4_a1_e1__1_6->n3_a_artb_4_a1_e1__1_6_1 n3_a_artb_4_a1_e1__1_6_2 NP-OB1 n3_a_artb_4_a1_e1__1_6->n3_a_artb_4_a1_e1__1_6_2 n3_a_artb_4_a1_e1__1_6_1->n3_a_artb_4_a1_e1__1_6_1_1 n3_a_artb_4_a1_e1__1_6_2_1 NPR n3_a_artb_4_a1_e1__1_6_2->n3_a_artb_4_a1_e1__1_6_2_1 n3_a_artb_4_a1_e1__1_6_2_2 NPR n3_a_artb_4_a1_e1__1_6_2->n3_a_artb_4_a1_e1__1_6_2_2 n3_a_artb_4_a1_e1__1_6_2_3 NPR n3_a_artb_4_a1_e1__1_6_2->n3_a_artb_4_a1_e1__1_6_2_3 n3_a_artb_4_a1_e1__1_6_2_1->n3_a_artb_4_a1_e1__1_6_2_1_1 n3_a_artb_4_a1_e1__1_6_2_2->n3_a_artb_4_a1_e1__1_6_2_2_1 n3_a_artb_4_a1_e1__1_6_2_3->n3_a_artb_4_a1_e1__1_6_2_3_1 n3_a_artb_4_a1_e1__1_7->n3_a_artb_4_a1_e1__1_7_1 
( (IP-MAT;{INAUGURATION} (NP-SBJ;{MAKTOUM} (PRN (NP (NP-GEN (NPR Dubai;{Dubai})
                                                            (GENM <apos>s))
                                                    (N Crown;{crown})
                                                    (N Prince;{prince})))
                                           (NPR Sheikh;{Sheikh})
                                           (NPR Mohamed;{Mohamed})
                                           (NPR Bin;{Bin})
                                           (NPR Rashid;{Rashid})
                                           (NPR Al;{Al})
                                           (NPR Maktoum;{Maktoum}))
                         (VBD;_Tn_ inaugurated;{inaugurate})
                         (NP-OB1;{ZONE} (D a;{a})
                                        (ADJP (ADJ free;{free}))
                                        (N zone;{zone})
                                        (PP (P-ROLE for;{for})
                                            (NP (N e)
                                                (PUNC <hyphen>)
                                                (N commerce;{commerce})))
                                        (IP-PPL *ICH*-128))
                         (ADVP-NIM (ADV today;{today}))
                         (PUNC ,)
                         (IP-PPL-EPD-128 (VVN;_Cn.n_ called;{call})
                                         (NP-OB1 (NPR Dubai;{Dubai})
                                                 (NPR Internet;{Internet})
                                                 (NPR City;{City})))
                         (PUNC .))
  (ID 3_a_artb_4_a1_e1))


%3 z_0003_5002 r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum Sheikh Mohamed Bin Rashid Al Maktoum z_0003_5002->r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum [arg0] r_0003_0003__Crown_r_0003_0004__Prince Crown Prince z_0003_5002->r_0003_0003__Crown_r_0003_0004__Prince [prd] r_0003_0001__Dubai Dubai r_0003_0003__Crown_r_0003_0004__Prince->r_0003_0001__Dubai [gen] r_0003_0021__called called r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City Dubai Internet City r_0003_0021__called->r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City [arg1] r_0003_0012__a_r_0003_0014__zone a zone r_0003_0021__called->r_0003_0012__a_r_0003_0014__zone [inv_arg0] r_0003_0016__e_r_0003_0018__commerce e commerce r_0003_0012__a_r_0003_0014__zone->r_0003_0016__e_r_0003_0018__commerce for r_0003_0013__free free r_0003_0012__a_r_0003_0014__zone->r_0003_0013__free [attrib] r_0003_0011__inaugurated inaugurated r_0003_0011__inaugurated->r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum [arg0] r_0003_0011__inaugurated->r_0003_0012__a_r_0003_0014__zone [arg1] r_0003_0019__today today r_0003_0011__inaugurated->r_0003_0019__today [nim] 
arc(r_0003_0003__Crown_r_0003_0004__Prince,r_0003_0001__Dubai,gen).
arc(r_0003_0011__inaugurated,r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum,arg0).
arc(r_0003_0011__inaugurated,r_0003_0012__a_r_0003_0014__zone,arg1).
arc(r_0003_0011__inaugurated,r_0003_0019__today,nim).
arc(r_0003_0012__a_r_0003_0014__zone,r_0003_0013__free,attrib).
arc(r_0003_0012__a_r_0003_0014__zone,r_0003_0016__e_r_0003_0018__commerce,r_0003_0015__for).
arc(r_0003_0021__called,r_0003_0012__a_r_0003_0014__zone,inv_arg0).
arc(r_0003_0021__called,r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City,arg1).
arc(z_0003_5002,r_0003_0003__Crown_r_0003_0004__Prince,prd).
arc(z_0003_5002,r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum,arg0).


%3 r_0003_0003__Crown_r_0003_0004__Prince Crown Prince r_0003_0001__Dubai Dubai r_0003_0003__Crown_r_0003_0004__Prince->r_0003_0001__Dubai [gen] r_0003_0011__inaugurated inaugurated r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum Sheikh Mohamed Bin Rashid Al Maktoum r_0003_0011__inaugurated->r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum [arg0] r_0003_0012__a_r_0003_0014__zone a zone r_0003_0011__inaugurated->r_0003_0012__a_r_0003_0014__zone [arg1] r_0003_0019__today today r_0003_0011__inaugurated->r_0003_0019__today [nim] r_0003_0013__free free r_0003_0012__a_r_0003_0014__zone->r_0003_0013__free [attrib] r_0003_0016__e_r_0003_0018__commerce e commerce r_0003_0012__a_r_0003_0014__zone->r_0003_0016__e_r_0003_0018__commerce for r_0003_0021__called called r_0003_0012__a_r_0003_0014__zone->r_0003_0021__called [inv_arg0] r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City Dubai Internet City r_0003_0021__called->r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City [arg1] z_0003_5002 z_0003_5002->r_0003_0003__Crown_r_0003_0004__Prince [prd] z_0003_5002->r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum [arg0] 
fof(formula,axiom,
    ? [R_0003_0005__SHEIKH_R_0003_0006__MOHAMED_R_0003_0007__BIN_R_0003_0008__RASHID_R_0003_0009__AL_R_0003_0010__MAKTOUM,R_0003_0013__FREE,R_0003_0016__E_R_0003_0018__COMMERCE,R_0003_0022__DUBAI_R_0003_0023__INTERNET_R_0003_0024__CITY,R_0003_0021__CALLED,R_0003_0012__A_R_0003_0014__ZONE,R_0003_0019__TODAY,R_0003_0011__INAUGURATED,R_0003_0001__DUBAI,R_0003_0003__CROWN_R_0003_0004__PRINCE,Z_0003_5002] :
      ( r_0003_0001__Dubai(R_0003_0001__DUBAI)
      & r_0003_0005__Sheikh_r_0003_0006__Mohamed_r_0003_0007__Bin_r_0003_0008__Rashid_r_0003_0009__Al_r_0003_0010__Maktoum(R_0003_0005__SHEIKH_R_0003_0006__MOHAMED_R_0003_0007__BIN_R_0003_0008__RASHID_R_0003_0009__AL_R_0003_0010__MAKTOUM)
      & r_0003_0013__free(R_0003_0013__FREE)
      & r_0003_0016__e_r_0003_0018__commerce(R_0003_0016__E_R_0003_0018__COMMERCE)
      & r_0003_0019__today(R_0003_0019__TODAY)
      & r_0003_0022__Dubai_r_0003_0023__Internet_r_0003_0024__City(R_0003_0022__DUBAI_R_0003_0023__INTERNET_R_0003_0024__CITY)
      & z_0003_5002(Z_0003_5002)
      & has_arg0(Z_0003_5002,R_0003_0005__SHEIKH_R_0003_0006__MOHAMED_R_0003_0007__BIN_R_0003_0008__RASHID_R_0003_0009__AL_R_0003_0010__MAKTOUM)
      & has_prd(Z_0003_5002,R_0003_0003__CROWN_R_0003_0004__PRINCE)
      & r_0003_0003__Crown_r_0003_0004__Prince(R_0003_0003__CROWN_R_0003_0004__PRINCE)
      & has_gen(R_0003_0003__CROWN_R_0003_0004__PRINCE,R_0003_0001__DUBAI)
      & r_0003_0011__inaugurated(R_0003_0011__INAUGURATED)
      & has_nim(R_0003_0011__INAUGURATED,R_0003_0019__TODAY)
      & has_arg1(R_0003_0011__INAUGURATED,R_0003_0012__A_R_0003_0014__ZONE)
      & r_0003_0012__a_r_0003_0014__zone(R_0003_0012__A_R_0003_0014__ZONE)
      & has_inv_arg0(R_0003_0012__A_R_0003_0014__ZONE,R_0003_0021__CALLED)
      & r_0003_0021__called(R_0003_0021__CALLED)
      & has_arg1(R_0003_0021__CALLED,R_0003_0022__DUBAI_R_0003_0023__INTERNET_R_0003_0024__CITY)
      & has_r_0003_0015__for(R_0003_0012__A_R_0003_0014__ZONE,R_0003_0016__E_R_0003_0018__COMMERCE)
      & has_attrib(R_0003_0012__A_R_0003_0014__ZONE,R_0003_0013__FREE)
      & has_arg0(R_0003_0011__INAUGURATED,R_0003_0005__SHEIKH_R_0003_0006__MOHAMED_R_0003_0007__BIN_R_0003_0008__RASHID_R_0003_0009__AL_R_0003_0010__MAKTOUM) ) ).