Artificial turf

Treatment of glass including treatments to remove, reduce, or protect against tarnishing, staining and discolouration, and treatments of glass to remove or reduce adhesion of grime and other contaminants to glass

Bleaching preparations and other substances for laundry use; cleaning, polishing, scouring and abrasive preparations; soaps; perfumery, essential oils, cosmetics, hair lotions; dentifrices

Household or kitchen utensils and containers (not of precious metal or coated therewith); combs and sponges; brushes (except paint brushes); brush-making materials; articles for cleaning purposes; steelwool; unworked or semi-worked glass (except glass used in buildings); glassware, porcelain and earthenware not included in other classes

Agricultural, horticultural and forestry products and grains not included in other classes; seeds including pasture and agricultural seeds; plants including dried plants for decorative purposes; flowers, flower bulbs and dried flowers for decorative purposes; fresh fruits and vegetables; foodstuffs for animals

Lanolin products

Electric apparatus and instruments

Apparatus for lighting, heating, cooking, refrigerating, drying, ventilating

Furniture including bathroom furniture, wash stands, vanity units, non-metallic furniture fittings, shelves and parts and fittings in this class for the aforesaid

All goods included in this class

All goods included in this class

Registered computer programs including computer programs for verifying systems; computer applications programs for selecting and configuring data processing equipment in accordance with pre-established criteria; generic software modules implementing decisions procedures, each for a certain logic; chips (integrated circuits); data based computer aided software engineering (CASE) applications; registered computer programs for verifying hardware and software systems.

Research and development services regarding new products; computer programming; updating and verifying of computer programs; consultancy in the field of systems development and formal verification of computer systems; research and development services regarding formal verification technology; industrial design; engineering services regarding special software modules including equivalence checking of combinational circuits (chips); developing and providing expert solutions relating to automated verification based on model checking techniques.