kratkokrilec kratkokrílec -lca m (ȋ) nav. mn., zool. hrošči s kratkimi krili, Staphylinidae: kratkokrilci in mravlje