Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Manufacture
Manufacture(manufacture)assembly, bootleg, bootlegging, capacity, churn_out, coin, construct, cottage_industry, crank_out, create, crop, desktop_publishing, draw, fabricate, fabrication, factory-made, generation, gravure, grind_out, industrially, industry, make, manufacture, manufactured, manufacturing, mass-produce, mass-produced, mass_production, mint, newspeak, output, overproduce, overproduction, overrun, photogravure, preassemble, prefabricate, prefabrication, produce, production, ready-made, republication, republishing, rotogravure, serialisation, serialization, sericulture, strike, turn_out, underproduce...

VerbNet: create-26.4|mint, create-26.4|manufacture, build-26.1|make, create-26.4|manufacture, build-26.1|make, create-26.4|mass-produce, create-26.4|mint, build-26.1|make, create-26.4|mint,


appearance as argument number 1
-------------------------


s__documentation(s__Manufacture,s__ChineseLanguage,'"这是大规模 Making Artifact。"')

chinese_format.kif 3221-3221
s__documentation(s__Manufacture,s__EnglishLanguage,'"The Making of Artifacts on a mass scale."')

Merge.kif 11870-11871
s__instance(s__Manufacture,s__SetOrClass)

s__subclass(s__Manufacture,s__Making)

s__instance(s__Making,s__SetOrClass)

Merge.kif 11869-11869 Manufacture is a subclass of making

appearance as argument number 2
-------------------------


s__instance(s__Publication,s__SetOrClass)

s__instance(s__Manufacture,s__SetOrClass)

s__subclass(s__Publication,s__Manufacture)

Merge.kif 11873-11873 Publication is a subclass of manufacture
s__subclass(s__StockpilingWeaponOfMassDestruction,s__Manufacture)

s__instance(s__Manufacture,s__SetOrClass)

s__instance(s__StockpilingWeaponOfMassDestruction,s__SetOrClass)

WMD.kif 691-691 Stockpiling weapon of mass destruction is a subclass of manufacture
s__termFormat(s__ChineseLanguage,s__Manufacture,'"制造"')

chinese_format.kif 1187-1187
s__termFormat(s__EnglishLanguage,s__Manufacture,'"manufacture"')

english_format.kif 1596-1596

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 768-788

consequent
-------------------------


( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__ApparelManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Clothing) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 2194-2210
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__BeverageAndTobaccoProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Beverage) |
                   s__instance(V__THING,s__TobaccoProduct))
                 &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 1837-1855
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__ChemicalManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__PureSubstance) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 3132-3148
( ! [V__ORG,V__ELEC] :
   (s__instance(V__ELEC,s__Object) =>
     (s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__ComputerAndElectronicProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Computer) |
                   (s__instance(V__THING,s__Machine) &
                     ( ? [V__EV3] :
                       ((s__instance(V__EV3,s__Process) &
                           (s__patient(V__EV3,V__THING)
                           &
                           s__resource(V__EV3,V__ELEC)
                         &
                         s__instance(V__ELEC,s__Electricity)))))))
             &
             s__patient(V__EV,V__THING)
           &
           s__member(V__MEM2,V__ORG)
         &
         s__instance(V__EV2,s__Selling) &
         s__agent(V__EV2,V__MEM2)
       &
       s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 5133-5157
( ! [V__ORG,V__ELEC] :
   (s__instance(V__ELEC,s__Object) =>
     (s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__ElectricalEquipmentApplianceAndComponentManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Machine) &
                   ( ? [V__EV3] :
                     ((s__instance(V__EV3,s__Process) &
                         (s__patient(V__EV3,V__THING)
                         &
                         s__resource(V__EV3,V__ELEC)
                       &
                       s__instance(V__ELEC,s__Electricity))))))
             &
             s__patient(V__EV,V__THING)
           &
           s__member(V__MEM2,V__ORG)
         &
         s__instance(V__EV2,s__Selling) &
         s__agent(V__EV2,V__MEM2)
       &
       s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 5428-5450
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__FabricatedMetalProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Metal) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 4232-4248
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__FoodManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Cooking) &
                 s__instance(V__EV,s__Manufacture) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 1361-1377
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__FurnitureAndRelatedProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Furniture) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 6001-6017
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__LeatherAndAlliedProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Clothing) |
                   s__instance(V__THING,s__Fabric))
                 &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 2457-2475
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__MachineryManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Machine) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 4651-4667
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__MiscellaneousManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Object) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 6160-6176
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__NonmetallicMineralProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 ~(s__instance(V__THING,s__Metal))
                 &
                 s__instance(V__THING,s__PureSubstance) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 3697-3715
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__PaperManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Agent) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__EV,V__MEM)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Paper) |
                   s__material(V__THING,s__Paper))
                 &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 2717-2735
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__PetroleumAndCoalProductsManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Hydrocarbon) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 3060-3076
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__PlasticsAndRubberProductsManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Plastic) |
                   s__instance(V__THING,s__Rubber))
                 &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 3504-3522
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__PrimaryMetalManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Metal) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 3950-3966
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__PrintingAndRelatedSupportActivities))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__SurfaceChange) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 2930-2946
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__TextileMills))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Fabric) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 1944-1960
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__TextileProductMills))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__Fabric) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 2085-2101
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__TransportationEquipmentManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 s__instance(V__THING,s__TransportationDevice) &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 5690-5706
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__WoodProductManufacturing))
     =>
     ( ? [V__EV, V__MEM] :
       ((s__instance(V__MEM,s__Object) &
           s__instance(V__MEM,s__Process) &
           (s__member(V__MEM,V__ORG)
           &
           s__agent(V__MEM,V__EV)
         &
         ( ? [V__THING, V__MEM2, V__EV2] :
           ((s__instance(V__MEM2,s__Agent) &
               (s__instance(V__EV,s__Manufacture) &
                 (s__instance(V__THING,s__Wood) |
                   s__material(V__THING,s__Wood))
                 &
                 s__patient(V__EV,V__THING)
               &
               s__member(V__MEM2,V__ORG)
             &
             s__instance(V__EV2,s__Selling) &
             s__agent(V__EV2,V__MEM2)
           &
           s__patient(V__EV2,V__THING)))))))))
)
)

naics.kif 2563-2581
No TPTP formula. May not be expressible in strict first order. Economy.kif 4657-4663
No TPTP formula. May not be expressible in strict first order. Economy.kif 4690-4696
No TPTP formula. May not be expressible in strict first order. Merge.kif 15004-15011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13350-13355

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners